Semantičeskaja teorija proektirovanija avtomatov - Gorbatov, Vjačeslav Afanas'evič (Energija, Moskva, 1979)