Finite automata : BEHAVIOR AND SYNTHESIS - Trahtenbrot, Boris Avraamovič (North-Holland Publishing Company, 1973)