Abstract recursion as a foundation of the theory of recursive algorithms (1984)

by Y N Moschovakis
Venue:Computation and Proof Theory, Lecture Notes in Mathematics 1104