计算系统的形式语义2017.陆汝钤, 著 形式语义学基础与形式说明2010.屈延文, 编著 形式语义学引论2017.6周巢尘, 詹乃军, 著 形式语义学导论2010.4(英) 卡恩, 著 形式语义学研究2014.8高芸, 著 句式语义的形式分析与计算2007.04吴平, 著 形式语义学要素2018.8(荷) 约德·温特 (Yoad Winter) , 著 辩论推理系统的语义计算2015.3廖备水, 著 编程语言的形式语义学2003.(英) 温斯克尔 (Winskel,G.) , 著 分布计算系统2012.1胡亮, 徐高潮, 魏晓辉, 著 分布计算系统2004.01徐高潮, 胡亮, 鞠九滨, 编著 形式语义学的稳定论域理论2003.12陈仪香, 著 形式语义学2012.9杨静, 杨华, 杨溢龙, 段国勇, 朱浩, 杨嵩, 编著 形式语言与计算模型2009.9孙萍, 编著 “都”的形式语义研究2012.4陈丽萍, 著