What Machines Can and Cannot Do. - Jürg Nievergelt; J. C. Farrar (ACM Comput. Surv., 1972)