Automata and Computability : A Programmer's Perspective - Gopalakrishnan, Ganesh Lalitha (CRC Press)