Cook, W.; Palsberg, J. A Denotational Semantics Af Inheritance and Its Correctness. DPB 1989, 18.