Computation : finite and infinite machines - Minsky, Marvin L. (Prentice-Hall series in automatic computation, 1967)