Roger Duke, Gordon A. Rose, Anthony Lee. Object-oriented protocol specification. In Luigi Logrippo, Robert L. Probert, Hasan Ural, editors, Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. pages 325-338, North-Holland, 1990.
Abstract is missing.