Handling errors and exceptions in the algebraic specification of data types - Engels, Gregor 1955-; Pletat, Udo; Ehrich, Hans-Dieter 1943- (Fachvereich Math., Univ. Osnabrück, 1981)