Овсяк Олександр Володимирович. Метод і математичне та програмне забезпечення системи ефективного опрацювання формул алгебри алгоритмів.- Дисертація д-ра техн. наук: 01.05.03, Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2015.- 370 с.