Скобелєв Володимир Володимирович. Розробка і дослідження методів аналізу автоматних моделей, визначених на алгебраїчних структурах.- Дисертація д-ра фіз.-мат. наук: 01.05.01, Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2015.- 300 с.