SMS: 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 ; edited by Michel Diaz.