711. Рицар Богдан Євгенович. Теоретико-множинні оптимізаційні методи логікового синтезу комбінаційних мереж: дис... д-ра техн. наук: 05.12.13 / Національний ун-т "Львівська політехніка". - Л., 2004.