Knudsen, J. L. “Static Exception Handling in Beta”. DAIMI Report Series, vol. 15, no. 214, June 1986, doi:10.7146/dpb.v15i214.7565.