Kevin Glynn Peter J. Stuckey Martin Sulzmann Harald Søndergaard Exception analysis for non-strict languages. 98-109 2002 ICFP http://doi.acm.org/10.1145/581478.581488 db/conf/icfp/icfp2002.html#GlynnSSS02