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