O. Danvy and L. R. Nielsen, “Refocusing in Reduction Semantics”, BRICS, vol. 11, no. 26, Nov. 2004.