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