Computational Complexity : A Modern Approach - Sanjeev Arora; Boaz Barak (New Delhi Camebridge, 2017)