语义动态分析方法探索2009.12彭玉海, 著 形式语义学2012.9杨静, 杨华, 杨溢龙, 段国勇, 朱浩, 杨嵩, 编著 汉语功能语义分析2016.10何伟, 等著 形式语义学框架下的特殊句式转换机制研究2018.10崔佳悦, 著 音乐结构与作品曲式分析2014.8王斌, 著 英语功能语义分析2016.10何伟, 等著 面向服务的计算2006.喻坚, 韩燕波, 著 “都”的形式语义研究2012.4陈丽萍, 著 形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编 图像语义分析算法与实现2016.10李大湘, 李娜, 著 汉语照应省略的类型逻辑研究2014.满海霞, 著 图像语义理解技术的分析与研究2020.8赵婕, 著 形式逻辑2016.6莫修明, 主编 绘画形式语言2003.08赵勤国, 编 分布式服务框架原理与实践2016.1李林锋, 著