Avtomatizacija projektirovanija složnych logičeskich struktur - Gorbatov, Vjačeslav Afanas´jevič (Moskva : Energija, 1978)