Paragon : A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types - Sherman, Mark Steven (Verfasser) (Lecture Notes in Computer Science, 1985)