Computation Finite and infinite machines - Minsky, Marvin L. (Prentice-Hall, 1967)