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