Turing, A.M. (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society. 2 42. pp. 230–65. doi:10.1112/plms/s2-42.1.230. (e Turing, A.M. (1938). On Computable Numbers, with an Application to the Entscheidungsproblem: A correction. Proceedings of the London Mathematical Society. 2 43. pp. 544–6. doi:10.1112/plms/s2-43.6.544.)