Ehrich, Hans-Dieter; Gogolla, Martin; Lipeck, Udo Walter Algebraische Spezifikation abstrakter Datentypen. (German) Zbl 0696.68011 Leitfäden und Monographien der Informatik. Stuttgart: B. G. Teubner. IX, 236 p. DM 38.00 (1989). Reviewer: I.Kerner MSC: 68-02 68P05 68N01 68N99 PDFBibTeX XMLCite \textit{H.-D. Ehrich} et al., Algebraische Spezifikation abstrakter Datentypen. Stuttgart: B. G. Teubner (1989; Zbl 0696.68011)
Gogolla, Martin A final algebra semantics for errors and exceptions. (English) Zbl 0584.68035 Recent trends in data type specification, 3rd Workshop on theory and applications of abstract data types, Bremen/Ger. 1984, Inf.-Fachber. 116, 89-103 (1985). Reviewer: V.Calmatuianu MSC: 68P05 PDFBibTeX XML
Gogolla, M.; Drosten, K.; Lipeck, U.; Ehrich, H.-D. Algebraic and operational semantics of specifications allowing exceptions and errors. (English) Zbl 0553.68012 Theor. Comput. Sci. 34, No. 1-2, 289-313 (1984). MSC: 68P05 PDFBibTeX XMLCite \textit{M. Gogolla} et al., Theor. Comput. Sci. 34, 289--313 (1984; Zbl 0553.68012) Full Text: DOI
Drosten, K.; Gogolla, M.; Ehrich, Hans-Dieter; Lipeck, Udo A hierarchical approach to an operational semantics for conditional algebraic specifications. (English) Zbl 0519.68022 Ber., Abt. Inf., Univ. Dortm. 144, 31 p. (1982). MSC: 68P05 PDFBibTeX XML
Gogolla, M.; Drosten, K.; Lipeck, Udo; Ehrich, Hans-Dieter Algebraic and operational semantics of specifications allowing exceptions and errors. (English) Zbl 0519.68021 Ber., Abt. Inf., Univ. Dortm. 140, 21 p. (1982). MSC: 68P05 PDFBibTeX XML
Gogolla, M.; Drosten, K.; Lipeck, Udo; Ehrich, Hans-Dieter Algebraic and operational semantics of exceptions and errors. (English) Zbl 0493.68025 Theoretical computer science, 6th GI-Conf., Dortmund 1983, Lect. Notes Comput. Sci. 145, 141-151 (1982). MSC: 68P05 PDFBibTeX XML