Бибило П. Н., Черемисинова Л. Д. АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ // Информатика. 2004 №4(04). С.18-29.