1. G. Smith, The Object-Z Specification Language (Kluwer Academic Publishers, 2000)
2. E. Dürr, E.M. Dusink, The role of $$VDM^{++}$$ V D M + + in the development of a real-time tracking and tracing system, in Proceedings of FME’93, eds. by J. Woodcock, P. Larsen. Lecture Notes in Computer Science 670 (Springer, 1993)
3. S. Cook, J. Daniels, Designing Object Systems: Object-Oriented Modelling with Syntropy (Prentice-Hall, 1994)
4. D. Coleman et al., Object-Oriented Development: the FUSION Method (Prentice-Hall, 1994)
5. A. Cavalcanti, D. Naumann, A weakest precondition semantics for an object-oriented language of refinement, in Lecture Notes in Computer Science 1709 (Springer, 1999), pp. 1439–1460