J. L. Knudsen, “Static Exception Handling in Beta”, DPB, vol. 15, no. 214, Jun. 1986.