APA stil citiranja

Jones, C. B. (1986). Systematic software development using VDM: Systematic software development using VDM (1. izd.). Prentice-Hall, Inc.

Chicago stil citiranja

Jones, Cliff B. Systematic software development using VDM: Systematic software development using VDM. 1. izd. Prentice-Hall, Inc, 1986.

MLA stil citiranja

Jones, Cliff B. Systematic software development using VDM: Systematic software development using VDM. 1. izd. Prentice-Hall, Inc, 1986.