Alan Turing : his work and impact - Cooper, S. B. (Elsevier, 2013)