Danvy, O.; Johannsen, J. Inter-Deriving Semantic Artifacts for Object-Oriented Programming. BRICS 2008, 15.