Classes of predictably computable functions (1963)

by R W Ritchie
Venue:Transactions of the American Mathematical Society