"Sipser, Michael" Theory of Computation - \\200700ENGGPCX - Brooks-Cole 2007 California - 346p. includes index and biblioraphy ISBN: 8131505138