O. Danvy and J. Johannsen, “Inter-Deriving Semantic Artifacts for Object-Oriented Programming”, BRICS, vol. 15, no. 5, Jun. 2008.