1. Document Reference ISO/IEC JTC1/SC22/WG19 IN9. VDM Specification Language Proto-Standard, Draft, 1991. Available from: D Andrews, Department of Computing Studies, University of Leicester, University Road, Leicester, LE1 7RH.
2. J. Dawes. The VDM-SL Reference Guide. Pitman, 1991. ISBN 0-273-03151-1.
3. DIRECTIVES. Procedures for the technical work of ISO/IEC JTC 1 on Information Technology. International Organization for Standardization/International Electrotechnical Commission, first edition, 1990.
4. DIRECTIVES Part 2. Methodology for the development of International Standards. International Electrotechnical Commission/International Organization for Standardization, first edition, 1989.
5. DIRECTIVES Part 3. Drafting and presentation. International Electrotechnical Commission/International Organization for Standardization, second edition, 1989.