A final algebra semantics for errors and exceptions - Gogolla, Martin (1985)
Keywords: Abstrakter Datentyp; Algebraische Spezifikation