Считающие автоматы и неразрешимые задачи дискретного управления

Гаврилова Л.П., Коган Д.И. Считающие автоматы и неразрешимые задачи дискретного управления // Изв. вузов. Радиофизика. 1970. Т. 13, № 4. C. 534–538.