Sherman, M.S.
Paragon: language using type hierarchies for the specifications, Implementation and selection of abstract data types - Berlin Springer-Verlag - Lecture notes in computer science ; 00189 .
681 LNCS
Paragon: language using type hierarchies for the specifications, Implementation and selection of abstract data types - Berlin Springer-Verlag - Lecture notes in computer science ; 00189 .
681 LNCS