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

by Y N Moschovakis
Venue:in: Computation and Proof Theory