Finite automata - Trachtenbrot, Boris Avraamovič,Barzdin', Jan Martynovič (North-Holland Publ. Co. [u.a.], 1973)