Computation: finite and infinite machines - Minsky, Marvin (Englewood : Prentice-Hall, 1967)
Includes bibliography and index
Keywords: Machine theory