Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types

Mark Sherman. Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types. Volume 189 of Lecture Notes in Computer Science, Springer, 1985.

Abstract

Abstract is missing.