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

Holzmann, G. J. (1991). Design and validation of computer protocols. Prentice-Hall AT&T Bell Telephone Laboratories, Inc.

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

Holzmann, Gerard J. Design and Validation of Computer Protocols. London New Jersey: Prentice-Hall AT&T Bell Telephone Laboratories, Inc, 1991.

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

Holzmann, Gerard J. Design and Validation of Computer Protocols. Prentice-Hall AT&T Bell Telephone Laboratories, Inc, 1991.