A behavioral notion of subtyping. (1994)

by Barbara H Liskov, Jeannette M Wing
Venue:ACM Transactions on Programming Languages and Systems,