1. Smith G (2000) The Object-Z specification language. Kluwer Academic Publishers, Boston
2. Potter B, Sinclair J, Till D (1996) An introduction to formal specification and Z. International series in computer science, 2nd edn. Prentice Hall, New York (1991)
3. Ratcliff B (1994) Introducing specification using Z: a practical case study approach. McGraw-Hill, London
4. Bottaci L, Jones J (1995) Formal specification using Z: a modelling approach. International Thomson Publishing, London
5. Bowen JP (1996) Formal specification and documentation using Z: a case study approach. International Thomson Computer Press, London