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