A denotational semantics of inheritance and its correctness (1989)

by William R Cook, Jens Palsberg
Venue:In Object-Oriented Programming: Systems, Languages and Applications, edited by Norman Meyrowitz, ACM