Finite automata behaviour and synthesis - Trakhtenbrot B A; Barzdin Ya (Amsterdam North-Holland, 1973)
Keywords: Automata theory; Mathematical logic