2. ADT 1983

• Hartmut Ehrig, Werner Fey, Horst Hansen: ACT ONE - An Algebraic Specification Language with two Levels of Semantics.
• Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation.
• Claus-Werner Lermen: OBSCURE - A Language for Algorithmic Specifications.
• Hans-Jörg Kreowski: Specification of Partial Functions - Only a Tentative Suggestion.
• Bernhard Möller: Ordered and Continuous Models of Algebraic Types.
• W. Di Palma, Gianfranco Mascari: Abstract Data Types and Categorical Logic.
• Peter Dybjer: Towards a Unified Theory of Data Types: Some Categorical Aspects.
• Jacques Loeckx: Program Verification with fewer Tears.
• F. Nourani: Abstract Models for Types, Induction, and Proofs.
• Jean-Pierre Jouannaud: Programming and Checking Data Types with REVE.
• Gérard D. Guiho: Multi-Operator Algebras.
• Michel Bidoit: Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types.
• Richard Göbel: Rewrite Rules with Conditions for Algebraic Specifications.
• Jean-Luc Remy: Specifications of Errors in Data Types using Conditional Axioms.
• Martin Gogolla: Algebraic Specification of Subsorts.
• Alfred L. Luft: Scientific-Theoretic Foundations of the Concept of Abstract Data Type.
• Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin: Suggestions on the Interpretation of Algebraic Specifications.
• Klaus Drosten: Executing Specifications using Conditional Axioms.
• F. Nourani: Forcing with Universal Sentences and Genericity of Inductive Closures.
• Oliver Schoett: Is Data Abstraction Sound?
• Axel Poigné: Programs over Abstract Data Types.
• Harald Ganzinger: Modular Compiler Descriptions based on Abstract Semantic Data Types.
• Paulo A. S. Veloso: Problems as Abstract Data Types: Applications to Program Construction.
• Udo W. Lipeck, Hans-Dieter Ehrich: Algebraic Specifications of Database Constraints.
• Peter Pepper: Correctness of Type Transformations.
• Helmuth Partsch: Algebraic Specification of a Text Editor.
• Bernhard Hohlfeld: Implementation of Abstract Data Types in PASCAL Programs.
• Christoph Beierle, Angi Voß: A Parameterization Concept for Hierarchies of Specifications.
• Fernando Orejas: Some Results on Finite Specifiability of Parameterized Data Types.
• Franz Lichtenberger: A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation.
• Herbert Klaeren: Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.
• T. S. E. Maibaum: Structuring of Specifications within a Logical Theory of Data Types.
• Ulrich Grude, Peter Padawitz: Initial and Fixpoint Semantics of Algebraic Specifications.
• Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras.