Cook, W., & Palsberg, J. (1989). A Denotational Semantics af Inheritance and its Correctness. DAIMI Report Series, 18(284). https://doi.org/10.7146/dpb.v18i284.6662