Danvy, O. From Reduction-Based to Reduction-Free Normalization. BRICS 2004, 11.