Du, Ding‐Zhu and Ker‐I Ko, Theory of Computational Complexity, 1st edition, Wiley, 2000.book · https://doi.org/10.1002/9781118032916