Bibliography: p360-397. - Includes index.
Published in collaboration with the British Computer Society.
Z user workshop, York 1991 : proceedings of the sixth annual Z User Meeting, York 16-17 December 1991. ISBN 354019780X. Published by Springer-Verlag in 1992. Publication and catalogue information, links to buy online and reader comments.