On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types (1982)

by H-D Ehrich
Venue:Journal of the ACM