Computation : finite and infinite machines - Minsky, Marvin Lee 1927- (Prentice Hall, 1967)