A Denotational Semantics Of Inheritance and its Correctness (1989)

by W Cook
Venue:In Meyrowitz N. (Ed.) ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, ACM