Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный.
Бутаков М.И. Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул : автореф. дис. .. канд. техн. наук: 05.13.11 / М. И. Бутаков, 2012. - 18 с. - Текст : непосредственный.