Forcing Behavioral Subtyping through Specification Inheritance

@inproceedings{Dhara-Leavens:ICSE96,
  author    = {Krishna Kishore Dhara and
               Gary T. Leavens},
  title     = {Forcing Behavioral Subtyping through Specification Inheritance},
  booktitle = {ICSE},
  pages     = {258--267},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
}