叶康峰;西蒙·福斯特;吉姆·伍德科克 带有定理证明的概率序列程序的自动推理。 （英语） Zbl 07670535号 Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13027, 465-482 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Ye}等人，Lect。注释计算。科学。13027465--482（2021；Zbl 07670535） 全文： 内政部 链接
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应式程序和并发程序。 （英语） Zbl 1518.68206号 J.日志。阿尔盖布。方法计划。 121，文章ID 100681，34 p.（2021）.MSC公司：60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100681，34 p.（2021；Zbl 1518.68206） 全文： 内政部 arXiv公司
西蒙·福斯特;安娜·卡瓦尔坎蒂;塞缪尔·卡纳姆;吉姆·伍德科克;泽达，弗兰克 统一反应设计合同理论。 （英语） Zbl 1436.68195号 西奥。计算。科学。 802, 105-140 (2020).MSC公司：60年第68季度 68问题55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人，Theor。计算。科学。802105-140（2020年；Zbl 1436.68195） 全文： 内政部 arXiv公司 链接
沃尔特·古特曼 一种不断进步的代数计算方法。 （英语） Zbl 1344.68076号 J.日志。阿尔盖布。方法计划。 85，第4号，520-539（2016）.MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}，J.Log（J·洛格）。阿尔盖布。方法计划。85，第4号，520--539（2016；Zbl 1344.68076） 全文： 内政部
西蒙·福斯特;泽达，弗兰克;吉姆·伍德科克 Isabelle/UTP：一个机械化的理论工程框架。 （英语） Zbl 1457.68061号 戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修订了选定的论文。柏林：施普林格。莱克特。注释计算。科学。8963, 21-41 (2015).MSC公司：68号30 68问题55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人，Lect。注释计算。科学。8963，21-41（2015；Zbl 1457.68061） 全文： 内政部 链接
沃尔特·古特曼 惰性和严格计算的无限执行。 （英语） Zbl 1329.68112号 J.日志。阿尔盖布。方法计划。 84，第3期，326-340（2015）.MSC公司：2005年第68季度 68号30 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}，J.Log（J·洛格）。阿尔盖布。方法计划。84，第3号，326--340（2015；Zbl 1329.68112） 全文： 内政部
沃尔特·古特曼 迭代代数和无限计算代数。 （英语） Zbl 1279.68078号 学报信息。 49，第5期，343-359（2012）.MSC公司：2005年第68季度 第68季度第70季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}，《信息学报》第49期，第5期，第343--359页（2012年；Zbl 1279.68078） 全文： 内政部