Computational complexity : a modern approach /
Arora, Sanjeev.
Barak, Boaz.
Cambridge : Cambridge University Press,
2009.
Includes bibliographical references (p. 549-573) and indexes.
Computational complexity.