Problem solving in automata, languages, and complexity - Du,Ding-Zhu & Ko, Ker-I (John Wiley & Sons, New York, 2001)