“Evaluating Functions Using Tail Recursion and Parameter Substitution”. Uniciencia, vol. 26, no. 1-2, Jan. 2012, pp. 99-112, https://www.revistas.una.ac.cr/index.php/uniciencia/article/view/3866.