On computable numbers, with an application to the Entscheidungsproblem : [Received 28 May, 1936. - Read 12 November, 1936] / by A. M. Turing. London : Hodgson, 1937