Behavioral subtyping using invariants and constraints (1999)

by B Liskov, J Wing
Venue:Online]. Available: citeseer.ist.psu.edu/article/liskov99behavioral.html