Theory of computation - Wood, Derick (John Wiley, 1987)
Includes index.