Fundamentals of the Theory of Computation door H. James Hoover & Raymond Greenlaw