Knudsen, J. L. (1986). Static Exception Handling in Beta. DAIMI Report Series, 15(214). https://doi.org/10.7146/dpb.v15i214.7565