The P=NP Question and Gödel’s Lost Letter - Lipton, Richard J. (Springer US, 2010)