Foundations of Computer Science by Alfred Aho and Jeffrey Ullman — a freely available CS textbook covering automata, languages, and computation http://infolab.stanford.edu/~ullman/focs.html