Finite automata : behavior and synthesis - Traktenbrot, Boris Avraamovich (Fundamental studies in computer science ;, 1973)