Eike Best Flaviu Cristian Systematic Detection of Exception Occurrences. 115-144 1981 1 Sci. Comput. Program. 1-2 db/journals/scp/scp1.html#BestC81