All right, this book, written by two high-caliber scientists, is more a textbook than leisure time reading material, unless you are geek enough to go through its pages and try your hand on the algorithms and exercises proposed. However, it could be both, for science and mathematics are actually fun to learn and practice. At any rate is a great companion book for computer science students and practitioners. It tries to bring together computer science and mathematics in theory and praxis, the former greatly influenced by the latter, within the realm of generic programming, a term coined by one of the authors (Stepanov). While reading and applying this book requires some effort, it is intended for “less mathematically advanced readers.” It turns out that many of the fundamental ideas in programming came from mathematics and learning how these ideas evolved over time can be very helpful when you sit down to work on software design. The gist of the book can be summarized as this: “To be a good programmer, you need to understand the principles of generic programming. To understand the principles of generic programming, you need to understand abstraction. To understand abstraction, you need to understand the mathematics on which it’s based.”
From mathematics to generic programming. Alexander A. Stepanov, Daniel E. Rose. New York: Addison-Wesley Professional, 2014.