Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (8e éd.)

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