Martin Wirsing. Algebraic Specification: Semantics, Parameterization and Refinement. In Erich J. Neuhold, Manfred Paul 0001, editors, Formal Description of Programming Concepts, based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989. IFIP State-of-the-Art Reports, pages 259-318, Springer, 1989.
Abstract is missing.