Computation:Finite and Infinite Machines - Minsky,Marvin L. (Perntice-Hall,Inc, 1967)