Danvy, O., and L. R. Nielsen. “Refocusing in Reduction Semantics”. BRICS Report Series, vol. 11, no. 26, Nov. 2004, doi:10.7146/brics.v11i26.21851.