Автоматизация проектирования дискретных систем: материалы Четвертой международной конференции, 14―16 ноября 2001 г., Минск: в 3 т. / [редколлегия: А. Д. Закревский и др.]