Problem solving in automata, languages, and complexity - Du, Dingzhu (Wiley, 2001)
"A Wiley-Interscience publication."