Логическое проектирование СБИС: Пер. с яп. - Киносита Кодзо (Мир, 1988)