C.A.R.霍尔。 计算机编程的公理基础（1969年）。 （英语） Zbl 1529.68026号 Lewis，Harry R.（编辑），《创造未来的想法》。计算机科学的经典论文。马萨诸塞州剑桥：麻省理工学院出版社。297-306 (2021).MSC公司：68-03 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}，in：创造未来的想法。计算机科学的经典论文。马萨诸塞州剑桥：麻省理工学院出版社。297--306（2021；Zbl 1529.68026）
克利夫·琼斯。（编辑）;贾亚德夫·米斯拉（编辑） 编程理论。托尼·霍尔的生活和作品。 （英语） Zbl 1473.68016号 ACM图书39.纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-8728-6/hbk；978-1-450.3-8729-3/pbk；968-1-4503-4731-6/电子书）。xx，429页。(2021). 审核人：哈伊姆·基洛夫（米林顿） MSC公司：68-06 01A70号 68-03 68纳米30 第68季度55 68问题85 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones（编辑）和textit{J.Misra}（编辑），编程理论。托尼·霍尔的生活和作品。纽约州纽约市：计算机协会（ACM）（2021；Zbl 1473.68016） 全文： 内政部
雷蒙德·特纳 正确性、解释和意图。 （英语） Zbl 1457.68035号 Manea，Florin（编辑）等人，《前瞻性和工业计算》。2019年7月15日至19日在英国达勒姆举行的第十五届欧洲可计算性会议（CiE 2019）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11558, 62-71 (2019). 审核人：哈伊姆·基洛夫（米林顿） MSC公司：68号01 68纳米30 60年第68季度 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{R.Turner}，莱克特。注释计算。科学。11558，62-71（2019；Zbl 1457.68035） 全文： 内政部
加尔达洛，Wided;奥尔法·姆拉伊;阿斯玛·卢希奇;吉拉尼、拉米亚·拉贝德;哈立德·比塞斯;阿里·米莉 循环分析的通用概念。 （英语） Zbl 1246.68094号 J.日志。阿尔盖布。程序。 81，第5期，606-622（2012）.MSC公司：68纳米30 68甲19 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.Ghardallou}等人，J.Log。阿尔盖布。程序。81，第5号，606--622（2012；Zbl 1246.68094） 全文： 内政部