Elspeth Cusack, Gregor von Bochmann: Formal object-oriented methods in communication standards. OOPS Messenger 3(2): 7-8 (1992)