Computational complexity, a modern approach - Arora, S., Barak, B. (Cambridge, 2009)
Keywords: Computer science