Леонов Сергій Юрійович. Теорія автоматизованого проектування електронних пристроїв на основі К-значного моделювання.- Дисертація д-ра техн. наук: 05.13.05, Нац. техн. ун-т "Харків. політехн. ін-т". - Харків, 2014.- 400 с.