Maximilian Frey Markus Podolsky Specifying and Analyzing Distributed Object-Oriented Systems. 38-51 1999 PDSE http://computer.org/proceedings/pdse/0191/01910038abs.htm db/conf/pdse/pdse1999.html#FreyP99