Danvy, O. and Johannsen, J. (2008) “Inter-Deriving Semantic Artifacts for Object-Oriented Programming”, BRICS Report Series, 15(5). doi: 10.7146/brics.v15i5.21940.