A behavioral notion of subtyping (1994)

by B H Liskov, J M Wing
Venue:ACM Trans. Program. Lang. Syst