Computational Complexity: A Modern Approach by Arora, Sanjeev, Barak, Boaz