The equivalence of two semantic definitions for inheritance in object-oriented languages (1991)

by Kim B Bruce
Venue:In Proceedings of Mathematical Foundations of Programming Semantics