Author: IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (11th 1991 Stockholm, Sweden)