APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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