自动机理论、语言和计算导论（原书第2版）
John E.Hopcroft & Rajeev Motwani & Jeffrey D.Ullman
计算机科学丛书 (0.0)
Principles of Program Analysis
Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
处理器虚拟化技术
邓志
2023年度游戏安全观察与实践报告白皮书
网易易盾
Programming Language Pragmatics:Fourth Edition
Michael L. Scott