IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification Enschede, Netherlands, Brinksma, E., Scollo, G., & Vissers, C. A. (1990). Protocol specification, testing, and verification, IX: Proceedings of the IFIP WG 6.1, ninth international symposium on protocol specification, testing, and verification, Enschede, The Netherlands, 6-9 June, 1989. North-Holland.
Lua i Stíl Chicago (17ú heag.)IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification Enschede, Netherlands, Ed Brinksma, Giuseppe Scollo, agus Chris A. Vissers. Protocol Specification, Testing, and Verification, IX: Proceedings of the IFIP WG 6.1, Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989. Amsterdam: North-Holland, 1990.
Lua MLA (9ú heag.)IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification Enschede, Netherlands, et al. Protocol Specification, Testing, and Verification, IX: Proceedings of the IFIP WG 6.1, Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989. North-Holland, 1990.