1. ADT 1982

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