Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types

From MaRDI portal
(Redirected from Publication:761792)