Elements of Computation Theory - Singh, Arindama (Springer London, 2009)