Arora and Barak

Computational Complexity: A modern approach - Cambridge, U.K. 2009

9780521424264