Jong-Deok Choi David Grove Michael Hind Vivek Sarkar Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. 21-31 1999 conf/paste/1999 PASTE http://doi.acm.org/10.1145/316158.316171 db/conf/paste/paste99.html#ChoiGHS99