A final algebra semantics for errors and exceptions - Gogolla, Martin (1985)