The Theory of computation - Moret, Bernard M (Pearson Education Asia, New Delhi, 2002)