Логические методы анализа и синтеза схем - Поспелов Д. А. Дмитрий Александрович (Москва, Энергия, 1974)