Fundamentals of the Theory of Computation - Hoover, James H; Greenlaw Raymond (New Delhi Morgan Kaufmann, 1998)