摘要
deBakker，J.W.《语义与非确定性递归程序的终止》。 《自动化，语言和编程》，爱丁堡，435-4771976年。 谷歌学者 
deBakker，J.W.递归程序作为谓词变换器。 程序。 关于编程结构形式规范的IFIP。 加拿大圣安德鲁斯。 1977年8月。 谷歌学者 Basu，S.K.和R.T.Yeh。 强大的程序验证。 IEEE传输。 软件工程，SE-1，3，339-345。 1975年9月。 谷歌学者 数字图书馆 
Burstall，R.M.程序通过一点归纳证明是手模拟。 IFIP 1974，斯德哥尔摩。 谷歌学者 Dijkstra，E.W.保护命令，程序的不确定性和形式推导。 CACM第18卷第8号。 1975 谷歌学者 数字图书馆 Dijkstra，E.W.编程学科。 普伦蒂斯·霍尔。 1976 谷歌学者 数字图书馆 Fischer，M.J.和R.L Ladner。 程序的命题模态逻辑。 程序。 ACM交响乐团。 《计算理论》，哥伦比亚博尔德，1977年5月。 谷歌学者 数字图书馆 格林，C.科德尔。 定理证明在问答系统中的应用。 斯坦福大学计算机科学系报告CS-138。 1969 谷歌学者 Harel，D.程序逻辑中的算术完备性。 已提交发布。 谷歌学者 Harel，D.论正则决定论程序的正确性； 统一调查。 已提交发布。 谷歌学者 Harel，D.递归程序性质的完全公理化。 已提交发布。 谷歌学者 Harel，D.、A.R.Meyer和V.R.Pratt。 程序逻辑中的可计算性和完整性。 程序。 ACM交响乐团。 《计算理论》，261-268，哥伦比亚博尔德，1977年5月。 谷歌学者 数字图书馆 Harel，D.、A.Pnueli和J.Stavi。 证明递归程序演绎的完备公理系统。 程序。 ACM交响乐团。 《计算理论》，第249-260页，科罗拉多州博尔德，1977年5月。 谷歌学者 数字图书馆 Hewitt，C.E.《PLANNER的描述和理论分析（使用图式）：机器人中定理和操作模型的证明语言》，麻省理工学院人工智能实验室TR-258。 1972 谷歌学者 Hoare，C.A.R.非确定性计算的一些性质。 贝尔法斯特女王大学。 1976 谷歌学者 关于程序的自然推理逻辑规则。 《自动化，语言与编程3》（编辑：Michaelson，S.和R.Milner），第87-98页。 爱丁堡大学出版社，1976年。 谷歌学者 Manna，Z。二阶数学计算理论。 程序。 第二届ACM交响乐团。 《计算理论》，158-1681970年。 谷歌学者 数字图书馆 Manna，Z.和A.Pnueli。 程序完全正确性的公理方法。 《信息学报》，3，253-2631974年。 谷歌学者 数字图书馆 Manna，Z.和R.Waldinger。 “有时”比“总是”好吗？ 证明程序正确性的间歇断言。 程序。 第二届软件工程国际会议，1976年10月。 谷歌学者 数字图书馆 Meyer，A.R.具有数组赋值的正则程序的DL、DL+和ADL等价性。 麻省理工学院未发表的报告。 1977年8月。 谷歌学者 Milner，R.C.《并行程序语义方法》。 1973年，英国爱丁堡大学计算机科学系。 谷歌学者 Pratt，V.R.《Floyd-Hoare逻辑的语义思考》。 第17届IEEE计算机科学基础研讨会，109-1211976年10月。 谷歌学者 迪杰斯特拉的谓词变换、不确定性、递归和终止。 I.R.I.S.A.，第37号出版物。 1976 谷歌学者 Salwicki，A.形式化算法语言。 牛市。 阿卡德。 波兰。 科学。， 序列号。 科学。 数学。 阿斯特。 物理学。 第18卷。 第五。 1970 谷歌学者 Wand，M.A表征或弱前提。 JCSS第15、2页。 209-212. 1977 谷歌学者 Wang，A.证明Goto程序完全正确性的公理基础。 位16，88-102。 1976 谷歌学者 Woods，W.A.《自然语言分析的强化转换网络》。 向剑桥哈佛大学艾肯计算实验室NSF提交的CS-1号报告。 1969 谷歌学者
