1. Pierre America, Frank van der Linden, “A Parallel Object Oriented Language with Inheritance and Subtyping” ECOOP/OOPSLA'90 Proceedings, pp. 161–168, October 1990.
2. Dines Bjørner, “Forma Software Development The VDM Approach”, 1990.
3. Grady Booch, “Object-Oriented Design with applications”, Prentice Hall, 1991.
4. BSI IST/5/50, “VDM Specification Language”, March 1991. [Carrington, 1990] D. Carrington, D. Duke, R. Duke, P. King, G. Rose, G. Smith, “Object-Z: An object-oriented extension to Z”, FORTE89, pp.281–296, 1990.
5. W. Cook, J. Palsberg, “A Denotational Semantics of Inheritance and its Correctness”, OOPSLA'89 Proceedings, pp.433–443, 1989.