Успенский, В. А. Теорема Гёделя и теория алгоритмов / В. А. Успенский // Доклады Академии Наук СССР. — 1953. — Т. XCI, № 4 — С. 737—740.