William R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and its Correctness. OOPSLA 1989: 433-443