Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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