Paragon : A LANGUAGE USING TYPE HIERARCHIES FOR THE SPECIFICATION, IMPLEMENTATION AND SELECTION OF ABSTRACT DATA TYPES - Sherman, Mark Steven (Lecture Notes in Computer Science ;, 1985)