Трахтенброт, Б. А. Невозможность алгорифма для проблемы разрешимости на конечных классах / Б. А. Трахтенброт // Доклады Академии Наук СССР. — 1950. — Т. LXX, № 4. — С. 569—572.