Martin, J.C. Introduction to languages and the theory of computation - 3rd - New delhi TMH 2004 - xiii, 543p.