Computation : FINITE AND INFINITE MACHINES. - Minsky, Marvin L. (Prentice-Hall, Inc., 1967)