See file:links-main.
Required: Introduction to the Theory of Computation [Amazon, AddAll], by Michael Sipser (PWS, 1997)