Evaluating functions using tail recursion and parameter substitution - Alfaro Salazar, Georges E. (Universidad Nacional, Costa Rica, 2012)