David Hemer. A Formal Approach to Component Adaptation and Composition. In Vladimir Estivill-Castro, editor, Computer Science 2005, Twenty-Eighth Australasian Computer Science Conference (ACSC2005), Newcastle, NSW, Australia, January/February 2005. Volume 38 of CRPIT, pages 259-266, Australian Computer Society, 2005. [doi]
Abstract is missing.