Теория и методы автоматизации проектирования вычислительных систем - Прейсс, Р. Дж (Мир, 1977)