2012. Evaluating functions using tail recursion and parameter substitution. Uniciencia. 26, 1-2 (Jan. 2012), 99–112.