Turing, A. (1937), On Computable Numbers, With an Application to the Entscheidungsproblem.
Turing, Α. (1936), Σε Υπολογίσιμους Αριθμούς, Με μια Εφαρμογή στο Entscheidungsproblem.