Holzmann, G. J. (1991). Design and validation of computer protocols. Prentice Hall.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Holzmann, Gerard J. Design and Validation of Computer Protocols. Englewood Cliffs, N.J.: Prentice Hall, 1991.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Holzmann, Gerard J. Design and Validation of Computer Protocols. Prentice Hall, 1991.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.