J. Michael Spivey A Functional Theory of Exceptions. 25-42 1990 14 Sci. Comput. Program. 1 db/journals/scp/scp14.html#Spivey90