Olivier Danvy, Jacob Johannsen: Inter-deriving semantic artifacts for object-oriented programming. J. Comput. Syst. Sci. 76(5): 302-323 (2010)