1. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd Edition, 1992.
2. R. Barden, S. Stepney, D. Cooper. Z In Practice. Prentice Hall, 1994.
3. B. Potter, J. Sinclair, and D. Till. An Introduction to Formal Specification and. Prentice Hall, 2nd Edition, 1996.
4. J. C. P. Woodcock and J. Davies. Using Z: Specificaion, Refinent, and Proof Prentice Hall, 1996.
5. Lect Notes Comput Sci;M. dInverno,1995