Davide Ancona Giovanni Lagorio Elena Zucca A Core Calculus for Java Exceptions. 16-30 2001 OOPSLA db/conf/oopsla/oopsla2001.html#AnconaLZ01