《形式语言学新发展研究》（程工、沈园著，清华大学出版社出版）从句法篇和语义篇两个部分较为翔实地介绍、阐述了形式语言学近20 年来的发展情况，内容前沿、丰富。其中句法篇介绍了生成语法的最新理论模型——最简方案，包括其背景情况、总体架构和核心概念( 合并、语段、加标等);语义篇重点围绕意义标准的切换展开论述，覆盖多维语义、语境依赖性、语义本体等研究话题以及诊断测试、实验等研究方法。