"Sipser, Michael" Introduction to the Theory of Computation - \\200300ENGGPSX - Vikas 2003 New Delhi - 396p. includes index and biblioraphy ISBN: 9812402268