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. — Al Aho and Jeff Ullman