"Published in collaboration with the British Computing Society.".
Z User Workshop, Cambridge 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994. ISBN 3540198849. Published by Springer-Verlag in 1994. Publication and catalogue information, links to buy online and reader comments.