The P=NP question and godel's lost letter - Lipton, Richard J. (Springer, 2010)