Avtomatizacija proektirovanija složnyh logičeskih struktur - Gorbatov, Vjačeslav Afanas'evič (Energija, Moskva, 1978)