1. American National Standards Institute, Inc. The programming language Ada reference manual. In Lecture Notes in Computer Science 155. Springer-Verlag, 1983. ANSI/MIL-STD-1815A-1983.
2. S. Bear. Structuring for the VDM specification language. In Lecture Notes in Computer Science 328. Springer-Verlag, 1988.
3. R.M. Burstall and Joseph A. Goguen. The semantics of Clear, a specification language. In Lecture Notes in Computer Science 86, pages 292–332. Springer-Verlag, 1980.
4. Dan Craigen. Position paper for FM 89. In Proceedings of Formal Methods '89, Workshop on Formal Methods, Halifax, Nova Scotia, Canada, July 1989.
5. Elspeth Cusack. Inheritance in object oriented Z, November 1990. British Telecom.