A Logical Approach to Discrete Math (Texts and Monographs in Computer Science)
Algorithms + Data Structures = Programs (Prentice-Hall Series in Automatic Computation)
A Discipline of Programming
Compiler Construction for Digital Computers
Design Patterns: Elements of Reusable Object-Oriented Software
More Programming Pearls: Confessions of a Coder
Programming Pearls (ACM Press)
The Practice of Programming (Addison-Wesley Professional Computing Series)
Introduction to Graph Theory (Dover Books on Mathematics)