Liskov and Wing (1993)
Liskov B. and Wing J.L. (1993)
A new definition of the subtype relation
In Proc. ECOOP'93, Springer LNCS 707, pp. 119-141