Нагорный, Н. М. К усилению теоремы приведения теории алгорифмов / Н. М. Нагорный // Доклады Академии Наук СССР. — 1953. — Т. XС, № 3 — С. 341—342.