Protocol specification, testing, and verification 111 : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification. ISBN 0444867694. Published by North-Holland in 1983. Publication and catalogue information, links to buy online and reader comments.