Classes of predictably computable functions (1963)

by R RITCHIE
Venue:Trans. Amer. Math. Soc