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