TY - BOOK AU - Sherman Mark steven TI - Paragon: A language using type hierarchies for the specification, implementation and selection of abstract data types T2 - Lecture notes in computer science; 189 U1 - D65,8(B)92Par, M5 PY - 1985/// CY - Berlin PB - Springer Verlag KW - Programming language KW - Computer programming ER -