Денисенко Євгеній Леонідович. Розвиток теорії і розробка методології логічного синтезу НВІС на основі багаторівневих автоматних моделей : Дис... д-ра наук: 05.13.05 - 1999.