Гуца Олег Николаевич. Интерактивная модель перевода технических заданий в систему булевых формул: Дис... канд. техн. наук: 01.05.02 / Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л. , табл. - Библиогр.: л. 133-145.