Computability and Complexity by Neil Jones & Neil D. Jones