Cook, William, and Jens Palsberg. “A Denotational Semantics Af Inheritance and Its Correctness”. DAIMI Report Series 18, no. 284 (August 1, 1989). Accessed April 20, 2024. https://tidsskrift.dk/daimipb/article/view/6662.