(untitled) (Informatica)
Alan Turing, Turing Machines and Stronger