Klaus-Peter Hasler, Jan de Meer. OSI Transport Service Considered as an Abstract Data Type. In Hans-Jörg Kreowski, editor, Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers. Volume 116 of Informatik-Fachberichte, pages 104-118, Springer, 1984.
Abstract is missing.