Alan Turing : His Work and Impact - S. Barry Cooper; J. van Leeuwen (2012)