Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types - Sherman, Mark S. (Lecture Notes in Computer Science Ser.)