Problem Solving In Automata, Languages And Complexity by Ding-Zhu Du, Dingzhu Du & Ker-I. Ko