IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (3rd 1983 Rüschlikon, Switzerland)