Specifications and Their Use in Defining Subtypes

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},
}