Danvy, O. and Nielsen, L.R. 2004. Refocusing in Reduction Semantics. BRICS Report Series. 11, 26 (Nov. 2004). DOI:https://doi.org/10.7146/brics.v11i26.21851.