1. D.J. Andrews. The Formal Definition of Modula-2, The Department of Computing Studies, Leicester University, Leicester, June 1988.
2. Anjula Garg. Design and Implementation of Abstract Data Types, The Department of Computing Studies, Leicester University, Leicester, June 1988.
3. Anjula Garg. Type Model for the Translation of the Definition of Modula-2 from VDM to Standard Pascal, The Department of Computing Studies, Leicester University, Leicester, June 1988.
4. J.R. Pitchers. The VDM Structure Editor V0.2n, The Department of Computing Studies, Leicester University, Leicester, May 1988.
5. D. Notkin. The Gandalf Project. The Journal of Systems and Software, 5(2):91–105, May 1985.