A denotational semantics of inheritance and its correctness (1994)

by W Cook, J Palsberg
Venue:Preliminary version in Proceedings of OOPSLA'89, ACM SIGPLAN 4th Annual Conference on Object-Oriented Programming Systems, Languages and Applications