"Moret, Bernard M" Theory of Computation - \\200700ENGGPCX - Pearson 2007 New Delhi - 454p. includes index and biblioraphy ISBN: 8131708705