Konečnye avtomaty : POVEDENIE I SINTEZ - Trahtenbrot, Boris Avraamovič (Matematičeskaja logika i osnovanija matematiki / Nauka - Moskva., 1970)