APA način citiranja (7. izdanje)

Hinchey, M. G., & Bowen, J. P. (1995). Applications of formal methods. Prentice Hall.

Čikaški stil citiranja (17. izdanje)

Hinchey, Michael G., i J. P. Bowen. Applications of Formal Methods. London: Prentice Hall, 1995.

MLA način citiranja (9. izdanje)

Hinchey, Michael G., i J. P. Bowen. Applications of Formal Methods. Prentice Hall, 1995.