Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994 /
Z User Workshop(8th :1994 :Cambridge, England)
Bowen, J. P.(Jonathan Peter),1956-
Hall, J. A.(John Anthony),1946 November 7-
London : Springer-Verlag,
1994.
"Published in collaboration with the British Computing Society."
Includes bibliographical references.
Z (Computer program language)