叶康峰;西蒙·福斯特;吉姆·伍德科克 使用UTP对控制律图进行组合假设保证推理。 （英语） Zbl 1486.68045号 Adamatzky，Andrew（编辑）等人，《从天体物理学到非常规计算》。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆：斯普林格。新兴复杂性。计算。35, 215-254 (2020).MSC公司：68纳米30 第68季度55 68版本20 93-10 PDF格式BibTeX公司 XML格式引用 \textit{K.Ye}等人，《新兴复合体》。计算。35、215——254（2020年；Zbl 1486.68045） 全文： 内政部 链接
Syeda、Hira Taqdees;格温·克莱恩 缓存地址转换下的形式化推理。 （英语） Zbl 1468.68070号 J.汽车。推理 64，第5期，911-945（2020年）.MSC公司：68N25号 03B70号 68纳米30 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{H.T.Syeda}和\textit{G.Klein}，J.Autom。推理64，编号5，911-945（2020；兹bl 1468.68070） 全文： 内政部
Syeda、Hira Taqdees;格温·克莱恩 存在缓存地址转换的程序验证。 （英语） Zbl 1468.68069号 Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10895, 542-559 (2018).MSC公司：68N25号 03B70号 68纳米30 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{H.T.Syeda}和\textit{G.Klein}，莱克特。注释计算。科学。10895、542--559（2018；Zbl 1468.68069） 全文： 内政部
西蒙·福斯特;伯恩哈德·蒂勒;安娜·卡瓦尔坎蒂;吉姆·伍德科克 Modelica的UTP语义。 （英语） Zbl 1483.68053号 Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。10134, 44-64 (2017).MSC公司：68甲15 第68季度55 68V20型 93-10 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人，Lect。注释计算。科学。10134，44-64（2017；Zbl 1483.68053） 全文： 内政部 链接
弗兰克·芬宁 逻辑框架。 （英语） Zbl 0992.03038号 Robinson，Alan（编辑）等人，《自动化推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔。1063-1147 (2001).MSC公司：03B70号 60年第68季度 03B35型 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{F.Pfenning}，in：自动推理手册。2卷。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社。1063--1147（2001；Zbl 0992.03038）
卢卡·维甘诺 [Dov M.加巴伊。] 标签非经典逻辑。Dov M.Gabbay的前言。 （英语） 兹比尔1003.03001 多德雷赫特：Kluwer学术出版社。xiv，291页（2000年）。 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03-02 03B45号 07年3月 68吨15 05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Vigan“}，标签非经典逻辑。Dov M.Gabbay的前言。多德雷赫特：Kluwer学术出版社（2000；Zbl 1003.03001）