text: Вычислимые функции Turing A. On Computable Numbers, with an Application to the Entscheidungsproblem // Proceedings of the London Mathematical Society — London Mathematical Society, 1937. — Vol. 42. — P. 230–265. — ISSN 0024-6115; 1460-244X — doi:10.1112/PLMS/S2-42.1.230 <a href=" зависания (англ.)