Computation: finite and infinite machines / - Minsky, Marvin, (Prentice-Hall,, 1967)