The P=NP Question and Gödel's lost letter - Lipton, Richard J. 1946- (Springer, 2010)