Edsger W.Dijkstra。(编辑) 程序和证明的正式开发。 (英语) Zbl 0734.68063号 雷丁,文学硕士等:Addison-Wesley出版公司。十四、 第242页(1990年)。MSC公司:60年第68季度 68-06 68号01 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Dijkstra}(编辑),程序和证明的形式化开发。雷丁,马萨诸塞州等:Addison-Wesley出版公司(1990;Zbl 0734.68063)
Edsger W.Dijkstra。;W.H.J.费扬。;范·加斯特伦(A.J.M.van Gasteren)。 用于分布式计算的终止检测算法的推导。 (英语) Zbl 0566.68025号 控制流和数据流:分布式编程的概念。德国Marktoberdorf北约高级研究所。1984年,北约ASI Ser。,序列号。F 14507-512(1985)。MSC公司:68N25号 PDF格式BibTeX公司 XML格式
Edsger W.Dijkstra。 保护命令、不确定性和程序的形式派生。 (英语) Zbl 0395.68005号 编程方法,收集。艺术。成员。IFIP WG2.3,166-175(1978)。MSC公司:68号01 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式