Barbara Liskov, Jeannette M. Wing. Specifications and Their Use in Defining Subtypes. In OOPSLA. pages 16-28, 1993.
@inproceedings{LiskovW93:0, title = {Specifications and Their Use in Defining Subtypes}, author = {Barbara Liskov and Jeannette M. Wing}, year = {1993}, tags = {subtyping}, researchr = {https://researchr.org/publication/LiskovW93%3A0}, cites = {0}, citedby = {0}, pages = {16-28}, booktitle = {OOPSLA}, }