ACM Transactions on Programming Languages and Systems November 1994: Vol 16, Nr 6 A Behavioral Notion of Subtyping by Barbara Liskov and Jeannette Wing pp 1811-1841