S.Arora和B.Barak,《计算复杂性:现代方法》。剑桥大学出版社2009
L.Hemaspandra和M.Ogihara,复杂性理论伴侣。斯普林格2002
J.Köbler,U.Schöning und J.Torán,图同构问题。Birkhauser 1993年
C.Papadimitriou,计算复杂性。Addison-Wesley 1994年
U.Schöning,Perlen der Theoretischen Informatik出版社。Wissenschaftsverlag,1995年
M.Sipser,计算理论导论。PWS出版公司,1997年