The inversion of functions defined by turing machines (1956)

by J McCarthy
Venue:In C. E. Shannon & J. McCarthy (Eds.) Automata Studies, Annals of Mathematical Studies