The essential Turing seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life plus The secrets of Enigma - Turing, Alan 1912-1954 (Clarendon Press, 2010)