Pierre-Louis Curien Thérèse Hardin Yet Yet a Counterexample for lambda + SP. 113-115 1994 4 J. Funct. Program. 1 db/journals/jfp/jfp4.html#CurienH94