Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types | EKB DL