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