1. J. Bowen Select Z Bibliography J. E. Nicholls Proceedings of the Seventh Annual Z User Meeting Workshops in Computing, Springer-Verlag London 1993 archive-server@comlab.ox.ac.uk.
2. S. M. Brien J. E. Nicholls Z Base Standard (Version 1.0) Oxford University Programming Research Group Oxford, UK 1992
3. I. Houston S. King CICS Project Report: Experiences and Results from the Use of Z in IBM S. Prehn W. J. Toetenel Proceedings of VDM'91, Lecture Notes in Computer Science No. 551 Springer-Verlag Berlin 1991 588 596