Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS, T. ISBN 0444878815. Published by North-Holland in 1986. Publication and catalogue information, links to buy online and reader comments.