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