Автоматизация проектирования дискретных систем. Т. 1. — 226, [2] с.