Turing : A novel about computation - Papadimitriou, Christos H. (MIT Press, 2005)