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