The Formal Language of Recursion (1989)

by Yiannis N Moschovakis
Venue:J. Symb. Log