Du, Dingzhu and Ker-I. Ko, Theory of computational complexity, Second edition, John Wiley & Sons, 2014, 1.book · https://doi.org/10.1002/9781118595091