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