Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types / Mark Steven Sherman.

Author/creator Sherman, Mark Steven
Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1985.
Descriptionix, 364 pages : illustrations ; 25 cm.
Subjects

SeriesLecture notes in computer science ; 189
Lecture notes in computer science 189. ^A466336
General noteBased on the author's thesis (doctoral)--Carnegie-Mellon University, 1983.
General noteIncludes index.
LCCN 85004798
ISBN0387152121 (U.S.)