Introduction to languages and the theory of computation - Martin, John C (Tata Mcgraw-Hill Publishing Company Limited, New Delhi, 1998)