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