What Can Be Computed? : A Practical Guide to the Theory of Computation by… What stands out about this textbook is the detailed diagrams that label every part.