IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (2nd 1982 Idyllwild, Calif.)