Международная конференция "Автоматизация проектирования дискретных систем", 15―17 ноября 1995 г. : материалы конференции / [редколлегия: А. И. Лесникович (ответственный редактор) и др.]. Т. 1