A denotational semantics of inheritance and its correctness (1989)

by W Cook, J Palsberg
Venue:ACM SIGPLAN Notices