语境、规约、形式2012.4方开瑞, 著 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 Z形式规约的自动求精研究2008.12王宏生, 著 形式化方法导论2015.张广泉, 编著 形式语义学基础与形式说明2010.屈延文, 编著 绘画形式语言2003.08赵勤国, 编 走近形式语用学2011.7蒋严, 主编 绘画形式语言分析2020.7刘悦, 著 计算系统的形式语义2017.陆汝钤, 著 想象与规约2017.9(美) 厄尼·莱波雷 (Ernie Lepore) , (美) 马修·斯通 (Matthew Stone) , 著 形式语义学要素2018.8(荷) 约德·温特 (Yoad Winter) , 著 形式逻辑2016.6莫修明, 主编 形式逻辑2005.02金岳霖, 主编 形式逻辑1994.06莫曾萌, 黄孟洲, 主编 形式逻辑2005.金岳霖, 主编