A new definition of the subtype relation (1993)

by B Liskov, J M Wing
Venue:In Proc. of ECOOP’93