Новиков, П. С. Об алгоритмической неразрешимости проблемы тождества / П. С. Новиков // Доклады Академии Наук СССР. — 1952. — Т. LXXXV, № 4 — С. 709—712.