Automata and Computability: A Programmer's Perspective by Ganesh Gopalakrishnan