可证明安全理论及方法2017.11袁征, 主编 证明方法论2020.9肖忆雪, 张锰霖, 卢玮, 著 证明方法与理论2015.11张寅生, 著 数学证明2015.6萧文强, 著 可证明安全算法与协议2012.3张华, 温巧燕, 金正平, 著 数学证明之美2011.11(英) 波斯特, 著 安全科学方法学2011.吴超, 编著 矩阵理论及方法2012.1谢冬秀, 雷纪刚, 陈桂芝, 编著 煤矿与非煤矿矿山安全生产许可证专辑2004.08《安全生产、劳动保护政策法规系列专辑》编委会, 编 安全生产许可证条例2004.国家安全生产监督管理局, 国家煤矿安全监察局, 编 刑事证明理论2004.04卞建林, 主编 安全科学方法论2016.9吴超, 著 怎样证明数学题：第2版2009.07(美) 费林曼 (Velleman,D.J.) , 著 化工过程安全理论及应用2006.01(美) 克劳尔 (Crowl,D.A.) , (美) 卢瓦尔 (Louvar,J.F.) , 著 水质统计理论及方法2013.12王志良, 等著