This IFIP report is a collection of fundamental, high-quality
contributions on the algebraic foundations of system specification.
The contributions cover and survey active topics and recent
advances, and address such subjects as: the role of formal
specification, algebraic preliminaries, partiality, institutions,
specification semantics, structuring, refinement, specification
languages, term rewriting, deduction and proof systems, object