Avtomatizacija proektirovanija složnyh logičeskih struktur. - Gorbatov, Vjačeslav Afanas'evič; Dem'janov, Vladimir Fedorovič; Kuliev, Gamlet Bilalovič; Smirnov, Aleksandr Nikolaevič (Moskva : Energija, Moskva, 1978)