Παραπομπή APA

Jones, C. B. (1986). Systematic software development using VDM. Englewood Cliffs, N.J.: Prentice Hall International.

Παραπομπή Chicago Style

Jones, C. B. Systematic Software Development Using VDM. Englewood Cliffs, N.J.: Prentice Hall International, 1986.

Παραπομπή MLA

Jones, C. B. Systematic Software Development Using VDM. Englewood Cliffs, N.J.: Prentice Hall International, 1986.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.