Daniel J. Dougherty Silvia Ghilezan Pierre Lescanne Characterizing strong normalization in a language with control operators. 155-166 2004 conf/ppdp/2004 PPDP http://doi.acm.org/10.1145/1013963.1013982 db/conf/ppdp/ppdp2004.html#DoughertyGL04