Elements of the Theory of Computation - Lewis, Harry R (Prentice Hall, 1998)