"Elementary Descent Recursion and Proof Theory."

Harvey Friedman, Michael Sheard (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics