APA način citiranja (7. izdanje)

Holzmann, G. J. (1991). Design and validation of computer protocols. Prentice Hall.

Čikaški stil citiranja (17. izdanje)

Holzmann, Gerard J. Design and Validation of Computer Protocols. Englewood Cliffs, N.J.: Prentice Hall, 1991.

MLA način citiranja (8. izdanje)

Holzmann, Gerard J. Design and Validation of Computer Protocols. Prentice Hall, 1991.