Protocol Specification, Testing, and Verification, III Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Rüschlikon, Switzerland, 31 May-2 June, 1983