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