Principles of Program Analysis
Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
Programming Language Pragmatics:Fourth Edition
Michael L. Scott
C++ Templates:The Complete Guide
David Vandevoorde & Nicolai M. Josuttis & Douglas Gregor
自动机理论、语言和计算导论（原书第2版）
John E.Hopcroft & Rajeev Motwani & Jeffrey D.Ullman
计算机科学丛书 (0.0)
音乐理论基础
李重光