Introducing the theory of computation - Goddard, Wayne (Jones and Bartlett Publishers, 2008)