约翰·雷诺兹（John C.Reynolds）。 关于数组的推理。 （英语） Zbl 0394.68009号 Commun公司。ACM公司 22, 290-299 (1979). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于7文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68卢比99 离散数学与计算机科学 关键词：阵列;程序验证;分区;二进制搜索;合并 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Reynolds}，Commun（科姆·C·雷诺兹）。ACM 22、290--299（1979年；Zbl 0394.68009） 全文： 内政部