Problem solving in automata, languages, and complexity - Du, Dingzhu 1948-; Ko, Ker-I (A Wiley-Interscience publication, 2001)