摘要
1 NAUR，P.通过一般快照证明算法。 第6位（1966）310-316。 谷歌学者 
数字图书馆 
2 DIJKSTRA，E.W.解决程序正确性问题的建设性方法。 BIT 8（1968），174-186。 谷歌学者 数字图书馆 三 HOARE，C.A.R.计算机编程的公理方法。 通信ACM 12、10（1969年10月），576-580、583。 谷歌学者 数字图书馆 4 HOARE，C.A.R.算法65，查找。 ACM委员会，7（1961年7月），321。 谷歌学者 数字图书馆 5 NAUR，P.行动集群编程。 BIT 9（1969），25O-258。 谷歌学者 数字图书馆 6 DIJKSTRA，E.W.结构化编程{EWD249}T.H.E.（私下传播）。 谷歌学者 7 FLOYD，R.W.为程序指定含义。 程序。 阿默尔。 数学。 应用数学学术研讨会，第19卷，第19-31页。 谷歌学者 8 KING，J.C.程序验证器。 1969年9月，宾夕法尼亚州匹兹堡卡内基梅隆大学博士。 谷歌学者 数字图书馆
建议
程序正确性的基本统一方法 摘要 我们通过算法语言演示 敦豪环球速递公司 （Dijkstra-Hehner语言），一种基于计算逻辑的简单一阶理论的实用方法，将Hoare和Dijkstra的迭代编程风格与Hehner的递归统一起来 ...
