W. Cook and J. Palsberg, “A Denotational Semantics af Inheritance and its Correctness”, DPB, vol. 18, no. 284, Aug. 1989.