"A Generalization of Exceptions and Control in ML-like Languages."

Carl A. Gunter, Didier Rémy, Jon G. Riecke (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics