A recursive introduction to the theory of computation. - Smith, Carl (Graduate texts in computer science, 1994)