Aho & Ullman, Foundations of Computer Science, C Edition, (C edition), Freeman, 1994. 978-0716782841. (Required). available free online at http://infolab.stanford.edu/~ullman/focs.html