Semantičeskaja teorija projektirovanija avtomatov - Gorbatov, Vjačeslav Afanasjevič (rz1, 1979)