Danvy, O.; Nielsen, L. R. Refocusing in Reduction Semantics. BRICS 2004, 11.