APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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