1. Lindsay, P. A formal system with inclusion polymorphism. IPSE 2.5 working document 060/pal014/2.3, 1987.
2. BSI IST/5/50. VDM Specification Language Proto-Standard. Working paper IST/5/50/170, 1990.
3. Jones, C. Systematic Software Development Using VDM. Prentice-Hall, 1990 (second edition).
4. Jones, C. Program Specification and Verification in VDM. Technical report UMCS-86-10-5, Department of Computer Science, Manchester University, 1986.
5. Jones, C. VDM Proof Obligations and Their Justification. In: VDM '87: VDM — A Formal Method at Work. LNCS 252, Springer-Verlag, 1987.