Entropy and Diversity: The Axiomatic Approach
Tom Leinster
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
How to Prove It: A Structured Approach
Daniel J. Velleman
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack