A behavioral notion of subtyping (1994)

by B Liskov, J Wing
Venue:ACM Transactions on Programming Languages and Systems