Handling errors and exceptions in the algebraic specification of data types - Engels, Gregor 1955-; Pletat, Udo; Ehrich, Hans-Dieter 1943- ([Osnabrücker Schriften zur Mathematik / I], 1981)