The formal language of recursion (1989)

by Y Moschovakis
Venue:Journal of Symbolic Logic