An Algebraic Model of Subtype and Inheritance (1990)

by K Bruce, P Wegner
Venue:Advances in Database Programming Languages, Chapter 5, F. Bancilhon and