大卫·哈雷尔 关于民间定理。 （英语） Zbl 0432.68009号 Commun公司。ACM公司 23, 379-389 (1980). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于2评论引用于20文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号01 软件理论的一般主题 关键词：流程图；民间定理；结构化程序设计；while-programs公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}，Commun（科蒙）。ACM 23，379--389（1980；Zbl 0432.68009） 全文： 内政部