Automata theory and its applications Bakhadyr Khoussainov, Anil Nerode. - Khoussainov, Bakhadyr; Nerode, Anil (Progress in computer science and applied logic ;, 2001)