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