I would add to that list a style book.
The The Elements of Java style] is nice, but has the word Java in the title. The classic book is The Elements of Programming Style, but I have not read it and don't know how readable it is.

Bently's Programming Pearls is also a good book to for programmers to read. This is mostly a book about how to solve the X Y Problem.