Finite automata : BEHAVIOR AND SYNTHESIS - Trahtenbrot, Boris Avraamovič (Fundamental Studies in Computer Science / North-Holland Publishing Company ;, 1973)