Jones, C. B. (1986). Systematic software development using VDM. Prentice-Hall International.
Chicago-Zitierstil (17. Ausg.)Jones, Cliff B. Systematic Software Development Using VDM. Englewood Cliffs: Prentice-Hall International, 1986.
MLA-Zitierstil (9. Ausg.)Jones, Cliff B. Systematic Software Development Using VDM. Prentice-Hall International, 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.