1. A Formal Basis for Architectural Connection;Allen;ACM Transactions on Software Engineering and Methodology,1997
2. André, P., G. Ardourel and C. Attiogbé, Defining Component Protocols with Service Composition, in: 6th International Symposium on Software Composition, LNCS (2007), p. to appear.
3. Checking Component Composability;Attiogbé,2006
4. Classifying Software Component Interoperability Errors to Support Component Adaption;Becker,2004
5. A Formal Model for Componentware;Bergner,2000