Book of Proof
Richard Hammack
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack