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