Автоматизация проектирования дискретных систем / [редколлегия: А. Д. Закревский и др.]. Т. 2. — 194, [1] с.