Specification of Abstract Data Types with Partially Defined Operations

@inproceedings{Sakabe-al:ICSE82,
  author    = {Toshiki Sakabe and
               Yasuyoshi Inagaki and
               Namio Honda},
  title     = {Specification of Abstract Data Types with Partially Defined Operations},
  booktitle = {ICSE},
  pages     = {218--224},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}