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