Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI Idyllwild, California, U.S.A., 17-20 May, 1982 - Sunshine, Carl (North-Holland Pub. Co., 1982)