Automata theory and its applications - Khoussainov, Bakhadyr 1961- (Birkhauser, 2001)