Abstract is missing.
- IntroductionJørgen Staunstrup. 1-4
- Issues and ObservationsJames J. Horning. 5-24
- Geometrical ConstructionsJørgen Staunstrup, Joseph A. Goguen. 25-46
- KWIC-index generationJørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen. 47-117
- Communication NetworkLeif Sandegaard Nielsen, Ib Holm Sørensen. 118-136
- Partial Correctness of Distributed ProgramsDerek Coleman, Robin M. Gallimore. 138-180
- Specification of Distributed ProgramsDerek Coleman, Robin M. Gallimore. 181-214
- Robust Data TypesFlaviu Cristian. 215-254
- A Reduction Specification for DTLJane W. Hughes, Malcolm S. Powell. 255-267
- Recursive Definitions of Operations in Universal AlgebrasHerbert Klaeren. 268-281
- The SRDL Specification ExperimentHerbert Klaeren. 282-293
- Program Specification by Module TreesJørgen Steensgaard-Madsen. 294-321
- Parameter Passing in Algebraic Specification LanguagesHartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. 322-369
- A few Remarks on Putting Formal Specifications to Productive UseJohn V. Guttag. 370-380
- A Specification LanguageIb Holm Sørensen. 381-401
- Tecton: A Language for Manipulating Generic ObjectsDeepak Kapur, David R. Musser, Alexander A. Stepanov. 402-414
- ConcurrencyLeif Sandegaard Nielsen. 415-422