Effective C++：改善程序与设计的55个具体做法
Scott Meyers
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
How to Prove It: A Structured Approach
Daniel J. Velleman
编译原理
Alfred V. Aho
Entropy and Diversity: The Axiomatic Approach
Tom Leinster