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