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