P, NP, and NP-completeness : the basics of computational complexity - Goldreich, Oded, 1957- (Cambridge University Press, 2010)