Danvy, Olivier, and Jacob Johannsen. “Inter-Deriving Semantic Artifacts for Object-Oriented Programming”. BRICS Report Series 15, no. 5 (June 12, 2008). Accessed April 19, 2024. https://tidsskrift.dk/brics/article/view/21940.