APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.