A New Definition of the Subtype Relation

@inproceedings{Liskov1993AND,
  title={A New Definition of the Subtype Relation},
  author={Barbara Liskov and Jeannette M. Wing},
  booktitle={ECOOP},
  year={1993}
}