@book{7446,
	author = {Arora, Sanjeev and Barak, Boaz},
	title = {Computational complexity : a modern approach},
	publisher = {Cambridge University Press},
	year = {2010},
	address = {Cambridge}
}