Recursion in Higher Types (1977)

by A S Kechris, Y N Moschovakis
Venue:Handbook of Mathematical Logic. North-Holland