What Can Be Computed?: A Practical Guide to the Theory of Computation, Hardcover/John Maccormick