Title: A denotational semantics of inheritance
First published: 1989