Автоматизация конструирования больших интегральных микросхем: учебное пособие для вузов - Петренко, А. И. (Вища школа, 1983)