Arora, Sanjeev Computational complexity a modern approach Arora, Sanjeev and Barak, Boaz - Cambridge 2009 Dewey Class. No.: 511.352 / T09 ARO.B