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