The CORBA activity service framework for supporting extended transactionsI. HoustonM.C. Littleet al.2003Software - Practice and Experience
A formal description of the OMG's Core Object Model and the meaning of compatible extensionIain S.C. HoustonMark B. Josephs1995Computer Standards and Interfaces
Specifying distributed CICS in Z: Accessing local and remote resourcesIain S.C. HoustonMark B. Josephs1994Formal Aspects of Computing