A denotational definition of inheritance (1989)

by W Cook