Поспішний Олександр Сергійович. Підвищення ефективності пошуку ресурсів Грід системи на основі формальних логічних моделей.- Дис. канд. техн. наук: 05.13.05, Нац. техн. ун-т України "Київ. політехн. ін-т". - Київ, 2014.- 210 с.