Automata theory - Caianiello, E. R. (AP, 1966)