Knudsen, J. L. Static Exception Handling in Beta. DPB 1986, 15.