Elements of computation theory - Singh, Arindama (Texts in computer science, 2009)