Васько Сергій Михайлович. Моделі та їх символьні перетворення для оптимізації законів управління транспортними засобами.- Дисертація канд. техн. наук: 05.13.06, Нац. трансп. ун-т. - Київ, 2014.- 210 с.