Limits of Computation by Edna E. Reiter & C. Matthew Johnson