佐哈尔·曼纳;理查德·沃尔丁格 统一算法的演绎综合。 （英语） 兹伯利0472.68054 科学。计算。程序。 1, 5-48 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5个 显示扫描页面 引用于1审查引用于8文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68号01 软件理论的一般主题 68瓦99 计算机科学中的算法 关键词：形式化程序构造方法;从给定规范派生程序;理论证明任务;正确性 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger}，科学。计算。程序。1、5--48（1981年；Zbl 0472.68054） 全文： DOI程序