形式化框架下置换和查找类算法的组装生成2017.5石海鹤, 著 形式化构件装配的图算法生成2018.12石海鹤, 鄢梦恬, 著 形式化方法导论2015.张广泉, 编著 法治框架下的辽宁自贸区建设2017.12《法治框架下的辽宁自贸区建设》编写组, 编 语言形式化原理2015.10王迈, 著 框架结构和基础联合分析的近似算法2007.杨炳麟, 著 心灵的形式化及其挑战2017.8李建会, 等著 软件开发的形式化方法2005.01古天龙, 编著 网络攻击形式化建模理论2010.7黄光球, 著 装配式劲性柱混合梁框架结构及理论2020.6焦安亮, 李正良, 著 形式化方法在构件组装实时系统中的应用研究2019.5席琳, 马传连, 著 工业关键系统的形式化方法2014.12(意) 格涅斯 (Gnesi,S.) , (意) 玛格丽特 (Margaria,T.) , 著 概念变体及其形式化描写2011.4胡惮, 著 软件开发的形式化工程方法：结构化+面向对象+形式化2008.(日) 刘少英, 著 形式的生成2018.12周庆, 著