On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types

@inproceedings{Scollo1986OnHI,
  title={On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types},
  author={Giuseppe Scollo},
  booktitle={ADT},
  year={1986}
}