Theory of computational complexity - Du, Dingzhu. (Wiley, 2000)