APA (7 ম সংস্করণ) উদ্ধৃতি

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

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

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

M.L.A (8 ম সংস্করণ) উদ্ধৃতি

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