Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak. - Arora, Sanjeev (Cambridge University Press, 2009)