C.A.R.霍尔。 结构化程序的证明:“埃拉托斯特尼筛”。 (英语) 兹比尔0267.68005 计算机J。 15, 321-325 (1972). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于9文件 MSC公司: 68号01 软件理论的一般主题 68瓦99 计算机科学中的算法 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare},计算。J.15221-325(1972年;Zbl 0267.68005) 全文: 内政部