Turing (A Novel about Computation) - Papadimitriou (IEEE, 2003)