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