Relatively recursive functions and the extended Kleene hierarchy.” 723 (1950)

by Martin Davis
Venue:Proceedings of the International Congress of Mathematicians