Abstract Recursion as a Foundation for the Theory of Algorithms (1984)

by Y Moschovakis
Venue:Lecture Notes in Mathematics