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