A Fully Abstract Game Semantics of Local Exceptions.

James Laird A Fully Abstract Game Semantics of Local Exceptions. 105-114 2001 LICS db/conf/lics/lics2001.html#Laird01