你好，托尼;乔治·斯特鲁斯;吉姆·伍德科克 空间、时间和因果关系的微积分：代数、几何、逻辑。 （英语） Zbl 07168631号 Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11885，3-21（2019）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人，Lect。注释计算。科学。11885，3--21（2019；Zbl 07168631） 全文： 内政部 链接
Bicarregui，J.C。;C.A.R.霍尔。;伍德科克，J.C.P。 验证的软件库：向验证编译器迈进的一步。 （英语） Zbl 1103.68452号 正式Asp。计算。 18，第2期，143-151（2006）.MSC公司：68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Bicarregui}等人，正式Asp。计算。18，第2号，143--151（2006；Zbl 1103.68452） 全文： 内政部 链接