Citazione Stile APA (7a Edizione)
Jones, C. B. (1989). Systematic software development using VDM (2.ed.). Prentice Hall.
Citazione stile Chigago Style (17a edizione)
Jones, Cliff B. Systematic Software Development Using VDM. 2.ed. New York: Prentice Hall, 1989.
Citatione MLA (9a ed.)
Jones, Cliff B. Systematic Software Development Using VDM. 2.ed. Prentice Hall, 1989.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.