Jonathan P. Bowen, J. A. Hall, editors, Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings. Workshops in Computing, Springer/BCS, 1994.
Conference: zum1994
@proceedings{zum-1994, title = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings}, year = {1994}, researchr = {https://researchr.org/publication/zum-1994}, cites = {0}, citedby = {0}, booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings}, conference = {zum}, editor = {Jonathan P. Bowen and J. A. Hall}, series = {Workshops in Computing}, publisher = {Springer/BCS}, isbn = {3-540-19884-9}, }