McCarthy, J. (1956). The inversion of functions defined by turing machines. In C. E. Shannon & J. McCarthy (Hrsg.) Automata Studies, Annals of Mathematical Studies (S. 177–181). Princeton University Press.
