Complexity Theory: A Modern Approach, by Sanjev Arora and Boaz Barak
Karp’s List of 21 NP-Complete Problems