Finite automata : behavior and synthesis - Traktenbrot, Boris Avraamovich (North Holland, 1973)