A behavioral notion of subtyping (1994)

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