Теория и методы автоматизации проектирования вычислительных систем. Пер. с англ. / Брейер М.