Gilles Bernot Pascale Le Gall Marc Aiguier Label Algebras and Exception Handling. 227-286 1994 23 Sci. Comput. Program. 2-3 db/journals/scp/scp23.html#BernotGA94