Applications Of Automata Theory And Algebra by John Rhodes & John L. Rhodes