Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing, and Verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984 - Yemini, Yechiam; Strom, Robert; Yemini, Shaula (North-Holland, 1985)