Theory of computational complexity - Du, Ding-Zhu (Wiley, 2000)