Sivilotti, Paolo A. G. (1998) A method for the specification, composition, and testing of distributed object systems (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/z89g-gm27
