Michael Deutsch A Note on the Theorems of Church-Turing and Trachtenbrot. 422-424 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#Deutsch94