Elspeth Cusack Gregor von Bochmann Formal object-oriented methods in communication standards. 7-8 1992 3 OOPS Messenger 2 db/journals/oopsm/oopsm3.html#CusackB92