Чура Ігор Іванович. Методи структурної верифікації в конструкторських задачах автоматизованого проектування МЕП : Дис... канд. техн. наук: 05.13.05 / Державний ун-т "Львівська політехніка". — Львів, 1996. — 246с.