Пильчак, Б. Ю. О проблеме разрешимости для исчисления задач / Б. Ю. Пильчак // Доклады Академии Наук СССР. — 1950. — Т. LXXV, № 6 — С. 773—776.