题名	责任者	出版社	索书号
Introduction to the theory of computation = 计算理论导引 / 2nd ed.	Michael Sipser著.	China Machine Press,	TP301.5/S618-2
计算复杂性:a conceptual perspective	(以色列) Oded Goldreich著	国防工业出版社	TP301.5/6000