Ульянцев В.И. Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореф. дис. .. канд. техн. наук: 05.13.11 / В. И. Ульянцев, 2015. - 15 с. - Текст : непосредственный.