Comparing reduction strategies in resource conscious lambda calculi - Maraist, John (1997)