程序正确性证明方法2018.11武斌, 著 基于环境的软件近似正确性2016.11马艳芳, 著 “政治正确性”之争2018.1房宁, 等著 什么是正确的2012.1(美) 布利兹尔, 著 证明方法论2020.9肖忆雪, 张锰霖, 卢玮, 著 证明方法与理论2015.11张寅生, 著 怎样证明数学题：第2版2009.07(美) 费林曼 (Velleman,D.J.) , 著 分析性程序审计方法2012.7陈丹萍, 主编 程序设计方法学2008.12胡正国, 吴健, 邓正宏, 编著 刑事证明方法与技巧2008.01陈为钢, 张少林, 著 刑事证明方法与技巧2012.8陈为钢, 张少林, 著 具有尖孤子解的新可积模型以及孤子方程解的代数几何构造2019.6王辉, 著 程序设计方法2003.10(美) 傅雷森 (Felleisen,M.) 等, 著 程序设计方法学2007.(美) 麦基弗 (McIver,A.) , (美) 摩根 (Morgan,C.) , 著 岩土与结构工程中不确定性问题及其分析方法2008.林育梁, 著