Barbara Liskov, Jeannette M. Wing. A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841, 1994. [doi]
@article{LiskovW94, title = {A Behavioral Notion of Subtyping}, author = {Barbara Liskov and Jeannette M. Wing}, year = {1994}, doi = {10.1145/197320.197383}, url = {http://doi.acm.org/10.1145/197320.197383}, tags = {subtyping}, researchr = {https://researchr.org/publication/LiskovW94}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {16}, number = {6}, pages = {1811-1841}, }