David Hemer A Formal Approach to Component Adaptation and Composition. 259-266 2005 conf/acsc/2005 ACSC http://crpit.com/confpapers/CRPITV38Hemer.pdf db/conf/acsc/acsc2005.html#Hemer05