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-. ISBN 0444883436. Published by North-Holland in 1990. Publication and catalogue information, links to buy online and reader comments.