APA-Zitierstil (7. Ausg.)

Jones, C. B. (1986). Program specification and verification in VDM. Univ.

Chicago-Zitierstil (17. Ausg.)

Jones, Cliff B. Program Specification and Verification in VDM. Manchester: Univ, 1986.

MLA-Zitierstil (9. Ausg.)

Jones, Cliff B. Program Specification and Verification in VDM. Univ, 1986.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.