Minsky, M. L. <br/><br/>
Computation: Finite and infinite machines 

 - New Jersey  Prentice Hall  1967 
 - xvii, 317p. 
 - Prentice-Hall series in automatic computation .