O. Danvy og L. R. Nielsen, “Refocusing in Reduction Semantics”, BRICS, bd. 11, nr. 26, nov. 2004.