Finite automata behavior and synthesis - Trachtenbrot, Boris Avraamovič 1921-2016; Barzdiǹ, Jan M. (North-Holland Publ. [u.a.], 1973)
Aus dem Russ. übers.