Yukiyoshi Kameyama Masahiko Sato Strong normalizability of the non-deterministic catch/throw calculi. 223-245 2002 272 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs272.html#KameyamaS02 http://dx.doi.org/10.1016/S0304-3975(00)00352-2