Finite automata behavior and synthesis - Trakhtenbrot, Boris A (North-Holland Publishing Company, 1973)