APA (7th ed.) Citation

Jones, C. B. (1990). Systematic software development using VDM (2nd ed.). Prentice Hall.

Chicago Style (17th ed.) Citation

Jones, Cliff B. Systematic Software Development Using VDM. 2nd ed. New York: Prentice Hall, 1990.

MLA (8th ed.) Citation

Jones, Cliff B. Systematic Software Development Using VDM. 2nd ed. Prentice Hall, 1990.

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