1. ISO/IEC 13568: Information Technology—Z Formal Specification Notation—Syntax, Type System and Semantics, 1st edn. ISO/IEC (2002)
2. Lecture Notes in Computer Science;M. Utting,2003
3. Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)
4. Mahony, B., Dong, J.S.: Timed communicating Object Z. IEEE Transactions on Software Engineering 26, 150–177 (2000)
5. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, USA (1995)