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