Paragon: A language using type hierarchies for the specification, implementation and selection of abstract data types - Sherman Mark steven (Berlin Springer Verlag, 1985)
Keywords: Programming language; Computer programming