Benaissa, Z.-E.-A.; Lescanne, P.; Rose, K. H. Modeling, Sharing, and Recursion for Weak Reduction Strategies Using Explicit Substitution. BRICS 1996, 3.