A Behavioral Notion of Subtyping

“A Behavioral Notion of Subtyping” by Barbara Liskov and Jeannette Wing. ACM Transactions on Programming Languages and Systems, vol. 16, no. 6, Nov. 1994, pp. 1811-1841.

BibTeX entry:

@article{liskov94behavioral,
   author = {Barbara Liskov and Jeannette Wing},
   title = {A Behavioral Notion of Subtyping},
   journal = {ACM Transactions on Programming Languages and Systems},
   volume = {16},
   number = {6},
   pages = {1811--1841},
   month = nov,
   year = {1994}
}