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