The Design of Data Type Specifications

@inproceedings{Guttag-al:ICSE76,
  author    = {John V. Guttag and
               Ellis Horowitz and
               David R. Musser},
  title     = {The Design of Data Type Specifications},
  booktitle = {ICSE},
  pages     = {414--420},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}