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