Aho/Ullman Foundations of Computer Science
Link: Aho/Ullman Foundations of Computer Science: "This book has been taken out of print by W. H. Freeman. You are welcome to use it if you like. We believed in 1992 it was the way to introduce theory in Computer Science, and we believe that today."