Белякин, Н. В. Алгоритмические проблемы конечных автоматов и нормальное исчисление Поста / Н. В. Белякин, В. А. Ганов // Материалы Пятнадцатой региональной конференции по математике "МАК-2012", Барнаул, июнь 2012 : [тексты докладов] / АлтГУ [и др.] ; [гл. ред. Н. М. Оскорбин]. - Барнаул : Изд-во АлтГУ, 2012. - С. 11–14. - Библиогр. в конце ст.