The Foundations of Computer Science

Al Aho and Jeff Ullman:

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.