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.
एमएलए (8वां संस्करण) प्रशस्ति पत्रHolzmann, Gerard J. Design and Validation of Computer Protocols. Prentice Hall, 1991.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.