An algebraic model of subtypes in object-oriented languages (draft (1986)

by K B Bruce, P Wegner
Venue:ACM SIGPLAN Notices