Arora, Sanjeev and Boaz Barak, Complexity: Computational Complexity: A Modern Approach, Cambridge University Press, 2009.book · https://doi.org/10.1017/CBO9780511804090