Hartmut Wedekind. Constructive Abstract Data Types (CAD). In Michael L. Brodie, Stephen N. Zilles, editors, Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980. Volume 11 of pages 203-206, ACM Press, 1980. [doi]
Abstract is missing.