Fundamentals of the Theory of Computation: Principles and Practice - Raymond Greenlaw (Elsevier, 1998)