Holzmann, G. J. (1991). Design and validation of computer protocols. Prentice Hall.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Holzmann, Gerard J. Design and Validation of Computer Protocols. Englewood Cliffs, N.J.: Prentice Hall, 1991.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Holzmann, Gerard J. Design and Validation of Computer Protocols. Prentice Hall, 1991.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.