A first course in computability - Rayward-Smith, V. J. (Computer science texts, 1986)