Joachim W. Schmidt. Design, Specification and Application. 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 186-188, ACM Press, 1980. [doi]
Abstract is missing.