1. ADT 1982

Hans-Dieter Ehrich, Udo W. Lipeck (Eds.): Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Department of Computer Science, Technical Report

Christoph Beierle, Angi Voß: Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras.
Jan A. Bergstra: Specification of Parameterized Data Types.
Hans-Dieter Ehrich: Operational Aspects of Algebraic Specifications.
Hartmut Ehrig: ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems.
Hartmut Ehrig: Parameterized Data Types and Parameter Passing.
Gregor Engels, Martin Gogolla: Error Handling in Algebraic Specifications.
Werner Fey: From Requirements to Design Specification.
Klaus-Peter Hasler, Michael Löwe, Michaela Reisin: An Interpreter for Algebraic Specifications with User Controlled Termination.
Harald Ganzinger: Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability.
Herbert Klaeren: Parameterized Software Specifications with Inductively Defined Operations.
Hans-Jörg Kreowski: An Algebraic Implementation Concept for Abstract Data Types.
Udo W. Lipeck: Composition and Implementation of Parameterized Data Types.
Jacques Loeckx: The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types.
Heinrich C. Mayr: ORS Specifications: Ideas, Application Examples, and Experiences.
Peter Padawitz: On the Proof of Completeness and Consistency.
Peter Pepper: On the Algebraic Specification of Programming Languages.
Hans-Dieter Ehrich: Algebraic Domain Equations.
Udo Pletat: Ideas for the Development of Software Systems on the Basis of Algebraic Specifications.
Martin Wirsing: Implementation of Parameterized Hierarchical Specifications.

Acknowledgement: The information on this page was contributed by Martin Gogolla