[SIP] Michael Sipser, Introduction to the Theory of Computation, PWS Publishing Company, 1997.
[PAP] Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995.
[COR] Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Introduction to Algorithms, The MIT Press, 1990. (A hebrew version is available)