1. Lect Notes Comput Sci;J. G. Hall,1997
2. I. J. Hayes, editor. Specification Case Studies. Prentice Hall, second edition, 1993.
3. P. Luigi Iachini. Operation schema iterations. In J. E. Nicholls, editor, Z User Workshop, Oxford, December 1990. Springer.
4. Andrew Martin. A revised deductive system for Z. Technical Report 98-21, Software Verification Research Centre, University of Queensland, 1998.
5. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, second edition, 1992.