1. Bjorner, D and Jones, C B (Eds) ‘The Vienna Development Method: the meta-language’ Vol 61 of Lecture Notes in Computer Science Springer-Verlag (1978)
2. Bjorner, D and Rasmussen, A ‘An annotated VDM bibliography’ Technical Report Dept. of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark (March 1987)
3. Bjorner, D, Mac an Airchinnigh, M, Neuhold, E and Jones, C B ‘VDM a formal method at work’ Proc. VDM-Europe Symp. '87 Lecture Notes in Computer Science, Springer-Verlag (1987)
4. Duce, D A and Fielding, E V C ‘Better understanding through formal specification’ Comput. Graph. Forum Vol 4 No 4 pp 333–348 (December 1985)
5. Jackson, M I, Denvir, B T and Shaw, R C ‘Experience of introducing the Vienna Development Method into an industrial organisation’ Theory and Practice of Software Development (TAPSOFT) Vol 186 of Lecture Notes in Computer Science, Springer-Verlag (March 1985)