Abstract is missing.
- Categorical Semantics, Or Extending Data Types to Include MemoryEric G. Wagner. 1-21
- Algebraic (?) Specification of Conceptual Database SchemataHans-Dieter Ehrich. 22-27
- OBSCURE, A New Specification LanguageClaus-Werner Lermen, Jacques Loeckx. 28-30
- Some Thoughts on Algebraic SpecificationDonald Sannella, Andrzej Tarlecki. 31-38
- Implementation SpecificationsChristoph Beierle, Angi Voß. 39-53
- The ASSPEGIQUE Specification Environment - Motivations and DesignMichel Bidoit, Christine Choppy, Frédéric Voisin. 54-72
- Towards Abstract User Interfaces for Formal System SpecificationsHartmut Ehrig, Werner Fey, Horst Hansen. 73-88
- A Final Algebra Semantics for Errors and ExceptionsMartin Gogolla. 89-103
- OSI Transport Service Considered as an Abstract Data TypeKlaus-Peter Hasler, Jan de Meer. 104-118
- Observational Specification: A Birkhoff TheoremRolf Hennicker, Martin Wirsing. 119-135
- Fair Conditional Term Rewriting Systems: Unification, Termination, and ConfluenceStéphane Kaplan. 136-155
- Transformation of Interface SpecificationsBernd Krieg-Brückner. 156-170
- Axiomatizing Specification TheoryT. S. E. Maibaum, M. R. Sadler. 171-177
- On the Algebraic Specification of DomainsBernhard Möller, Walter Dosch. 178-195
- Passing Compatibility is almost PersistencyFernando Orejas. 196-206
- Automatic Prototyping of Algebraic Specifications using PROLOGHeiko Petzsch. 207-223
- Error Handling for Parameterized Data TypesAxel Poigné. 224-239
- Model Theory of Denotational SemanticsThomas Streicher. 240-253