"Reducing Recursion to Iteration by Means of Pairs and N-tuples."

Corrado Böhm (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics