Wirsing, Martin Algebraic specification. (English) Zbl 0900.68309 van Leeuwen, Jan (ed.), Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 675-788 (1990). For the entire collection see [Zbl 0714.68001]. Cited in 77 Documents MSC: 68Q65 Abstract data types; algebraic specification PDFBibTeX XMLCite \textit{M. Wirsing}, in: Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 675--788 (1990; Zbl 0900.68309)