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