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