Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, organized by IBM Research Ruschlikon, Switzerland, 31 May-2 June, 1983 - Rudin, Harry; West, Colin H. (North-Holland, 1983)