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