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