1. Bowen J.P. (1996) Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press, London
2. Bowen J.P., Hinchey M.G. (1997) Formal models and the specification process. In: Tucker, Jr. A.B. (Ed.) The Computer Science and Engineering Handbook. CRC Press, chapter 107, 2302–2322.
3. Bowen J.P., Hinchey M.G. (1999) High-Integrity System Specification and Design. Formal Approaches to Computing and Information Technology series (FACIT). Springer-Verlag, London
4. Hayes I.J. (Ed.) (1993) Specification Case Studies 2nd edition. Prentice Hall International Series in Computer Science, London
5. Jacky J. (1997) The Way of Z: Practical Programming with Formal Methods. Cambridge University Press, Cambridge