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