Sherman Mark steven Paragon: A language using type hierarchies for the specification, implementation and selection of abstract data types - Berlin Springer Verlag 1985 - xi, 364p. cm. - Lecture notes in computer science; 189 . Standard No.: 73453 Source: Textual Subjects--Topical Terms: Programming languageComputer programming Dewey Class. No.: D65,8(B)92Par, M5