Christopher Exton: Distributed Fault Tolerance Specification through the use of Interface Definitions. TOOLS (24) 1997: 254-259