[1]
O. Danvy, “From Reduction-Based to Reduction-Free Normalization”, BRICS, vol. 11, no. 30, Dec. 2004.