The formal language of recursion (1989)

by Yiannis N Moschovakis
Venue:J. Symb. Log