Complexity Theory: A Modern Approach, by Sanjev Arora and Boaz Barak

Karp’s List of 21 NP-Complete Problems