An algebraic model of subtype and inheritance (1987)

by Kim B Bruce, Peter Wegner
Venue:Database Programming Languages, Francois Bancilhon and Peter Buneman (editors