Подловченко Р.И. Конечные автоматы и алгебраические модели программ с позиции разрешимости проблемы эквивалентности // Проблемы теоретической кибернетики. Материалы 16-й Международной конференции «Проблемы теоретической кибернетики» (Нижний Новгород, 20-25 июня 2011 г.), изд-во Нижегородского гос. универ-та, 2011, с. 368-371.