Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (8th ed.)

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

Atenció: Aquestes cites poden no estar 100% correctes.