The P=NP Question and GΓΆdelβs Lost Letter - Lipton, Richard J (Springer Science+Business Media, LLC, 2010)