Bruno Guillaume The lambda-se-calculus does not preserve strong normalisation. 321-325 2000 10 J. Funct. Program. 4 db/journals/jfp/jfp10.html#Guillaume00