Elements of the theory of computation 6/E - Lewis, Harry (Vidhyanagar PHI, 2008)