Hutton, G., & Wright, J. (2006). Calculating an exceptional machine. In H. Loidl (Ed.), Trends in functional programming. Volume 5. Intellect