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