Fundamentals of the Theory of Computation: Principles and Practice - Greenlaw, Raymond; Hoover, H. James (San Francisco Morgan Kaufmann Publishers, 1998)
Keywords: Mathematics