Fundamentals of the theory of computation principles and practice - Greenlaw,Raymond (India Harcourt India, 1998)