*1. Introduction to the Theory of Computation, by Michael Sipser,
        Pub. Brooks/Bole, Thomson Learning, ISBN 981-240-226-8

*1a. The Lambda Calculus : Its Syntax and Semantics, by H. P. Barendregt,
        Pub. North-Holland, 1984, ISBN 0-444-87508-5

 2. Automata and Computability, by Dexter C. Kozen,
        Pub. Springer, ISBN 3-540-78105-6

 3. Introduction to Automata Theory, Languages, and Computation, by
        John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman
        Pub. Pearson Education Asia, ISBN 81-7808-347-7

 4. Elements of the Theory of Computation, by Harry R. Lewis and
        Christos H. Papadimitriou, 
        Pub. Prentice-Hall of India, ISBN 81-206-1016-0

 5. Theory of Computer Science, by K. L. P. Mishra and N. Chandrasekaran,
        Pub. Prentice-Hall of India, ISBN 0-87692-632-4