"On Evaluating Recursion."

Peter Raulefs (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics