A behavioral notion of subtyping (1994)

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