What are the best books for Programming Theory?

Question

Related:

http://stackoverflow.com/questions/537855/what-books-to-take-programming-beyond-the-basics-closed

http://stackoverflow.com/questions/574001/what-books-do-you-suggest-for-understanding-object-oriented-programming-design-de

http://stackoverflow.com/questions/13781/computer-science-textbooks

I'm trying to build some good wish lists for the office. I'm looking for books that are more high level for now. More about programming strategy instead of tactics. I don't mind if the books are language specific, as long as they are strategy oriented.

Thoughts?

Answer 1

The higher level I would consider to be patterns, there are plenty of books on programming patterns.

Try these for good starting points:

What is the Single Most Influential Book Every Programmer Should Read What are the Best Design Pattern Books You Have Read?