Danvy, O. 2004. From Reduction-Based to Reduction-Free Normalization. BRICS Report Series. 11, 30 (Dec. 2004). DOI:https://doi.org/10.7146/brics.v11i30.21855.