心灵的形式化及其挑战2017.8李建会, 等著 形式化方法导论2015.张广泉, 编著 概念变体及其形式化描写2011.4胡惮, 著 语言形式化原理2015.10王迈, 著 企业信息系统的形式化及其应用2012.1薛朝改, 著 软件开发的形式化工程方法：结构化+面向对象+形式化2008.(日) 刘少英, 著 软件开发的形式化方法2005.01古天龙, 编著 网络攻击形式化建模理论2010.7黄光球, 著 工业关键系统的形式化方法2014.12(意) 格涅斯 (Gnesi,S.) , (意) 玛格丽特 (Margaria,T.) , 著 几何代数的形式化与初步应用2019.11关永, 李黎明, 施智平, 著 形式化构件装配的图算法生成2018.12石海鹤, 鄢梦恬, 著 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 基于基本形式化本体的本体构建2020.9(美) 罗伯特·阿普 (Robert Arp) , 原著 密码协议形式化分析2006.09王亚弟等, 编著 软件工程形式化方法与语言2009.03吴江琴, 编著