TY  - BOOK
AU  - Sherman M S
TI  - PARAGON : language using type hierarchies for the specification implementation and selection of abstract data types
SN  - 3-540-15212-1
U1  - 005.133 
PY  - 1985///
CY  - Berlin
PB  - Springer Verlag
KW  - PARAGON
KW  - Programming language
ER  -