An Algebraic Model of Subtype and (1990)

by Kim B Bruce, Peter Wegner
Venue:Inheritance, Advances in Database Programming Languages