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 Toulouse-Moissac, France, June 10-13, 1985 - Diaz, Michel (North-Holland, 1986)