Automata theory and its applications - Khoussainov, Bakhadyr 1961- (Progress in computer science and applied logic, 2001)