Tail Recursion Revisited and Nested Recursion - Manuel Rubio-Sánchez (2017)