Finite automata : behavior and synthesis - Trankhtenbrot, B.A; Barzdin ́, Ya.M (rz1, 1973)