Sven Apel Christian Lengauer Superimposition: A Language-Independent Approach to Software Composition. 20-35 2008 Software Composition http://dx.doi.org/10.1007/978-3-540-78789-1_2 conf/soco/2008 db/conf/soco/sc2008.html#ApelL08