The OSA Project - Design and Formal Specification of an X.25 Based Open Transport Layer and its Protocols. - Sigram Schindler; D. Altenkrüger; Ute Flasche; Juergen Schulze; Michael Steinacker (Kommunikation in Verteilten Systemen, 1979)

Das OSA-Projekt: Formales Spezifizieren von Diensten und Protokollen in RSPL. - Sigram Schindler; Ute Flasche; Juergen Schulze; D. Altenkrüger (Hardware für Software, 1980)