Introducing the theory of computation - Goddard, Wayne (Jones and Bartlett India, 2010)