“Evaluating functions using tail recursion and parameter substitution” (2012) Uniciencia, 26(1-2), pp. 99–112. Available at: https://www.revistas.una.ac.cr/index.php/uniciencia/article/view/3866 (Accessed: 29 April 2024).