Максимець Олександр Миколайович. Алгебро-автоматні методи аналізу процедурних програм і реактивних систем.- Дисертація канд. фіз.-мат. наук: 01.05.01, Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2014.- 200 с.