Computability and Unsolvability by Harold Davis & Martin Davis