Abstract is missing.
- Algebraic Specification: A Step Towards Future Software EngineeringHelmuth Partsch. 7-30
- How to Make Algebraic Specifications More Understandable?Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin. 31-67
- Efficient Implementation of an Algebraic Specification LanguageHerbert Klaeren, Klaus Indermark. 69-90
- An Integrated Algebraic Approach to the Specification of Data Types, Processes and ObjectsEgidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca. 91-116
- Software Specification by Behavioural CanonsHorst Reichel. 117-138
- An Introduction to COLD-KH. B. M. Jonkers. 139-205
- A Formal Specifications of INGRESW. E. Baats, Loe M. G. Feijs, J. H. A. Gelissen. 207-245
- The Logic MPL::omega::C. P. J. Koymanns, Gerard R. Renardel de Lavalette. 247-282
- Description AlgebraH. B. M. Jonkers. 283-306
- The Calculus lambda-piLoe M. G. Feijs. 307-330
- The RAP System as a Tool for Testing COLD SpecificationsHeinrich Hußmann, Alfons Geser. 331-345
- A Specification of the intel 8085 Microprocessor: A Case StudyAlfons Geser. 347-401
- Specification and Prototyping of a Compiler for a Small Applicative LanguageHeinrich Hußmann, Christian Rank. 403-418
- Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working PrototypeLuigi Lavazza, Stefano Crespi-Reghizzi. 419-446
- ACT::tau::: A Universal Axiom System for Process SpecificationJan A. Bergstra, Jan Willem Klop. 447-463
- Modular Specifications in Process Algebra with Curious QueuesRob J. van Glabbeek, Frits W. Vaandrager. 465-506
- An Algebraic Specification of Process Algebra, Including Two ExamplesSjouke Mauw. 507-554