Proceedings of the IFIP WG 6.1. Eleventh International Symposium on Protocol Specification, Testing, and Verification Stockholm, Sweden, 18 - 20 June, 1991 - Jonsson, Bengt (North-Holland Publ. Comp., 1991)