Cook, W., and J. Palsberg. “A Denotational Semantics Af Inheritance and Its Correctness”. DAIMI Report Series, vol. 18, no. 284, Aug. 1989, doi:10.7146/dpb.v18i284.6662.