APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (8e ed.) Bronvermelding

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