In 1992, Al Aho and Jeffery D. Ullman published a book called Foundations of
Computer Science, whose goal was to present CS theory as something
integrally connected to CS practice. This book has been taken out of print by W. H. Freeman .
You are welcome to use it if you like
http://infolab.stanford.edu/~ullman/focs.html
http://infolab.stanford.edu/~ullman/focs.html
