Computational Complexity: A Modern Approach Chapter 11 and 22 (2009)

by S Arora, B Barak