Elements of the theory of computation - Lewis, Harry R (Pearson Education; Prentice Hall of India, 1998)