盛，冯;朱慧彪;何继峰;杨宗元;乔纳森·鲍文（Jonathan P.Bowen）。 基于UTP的MDESL指称语义的理论和实践方法。 （英语） Zbl 1458.68041号 正式Asp。计算。 32，编号2-3，275-314（2020）.MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Sheng}等人，正式Asp。计算。32，编号2--3，275--314（2020；Zbl 1458.68041） 全文： 内政部
泽达，弗兰克;西蒙·福斯特;利奥·弗雷塔斯 Isabelle/UTP的公理化价值模型。 （英语） Zbl 1483.68093号 Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10134, 155-175 (2017).MSC公司：68号30 68问题55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}等人，莱克特。注释计算。科学。10134，155--175（2017；Zbl 1483.68093） 全文： 内政部 链接
朱，H。;何继峰;秦胜超;菲利普·布鲁克 事件驱动系统级语言的指称语义及其代数推导。 （英语） Zbl 1347.68039号 正式Asp。计算。 27，第1期，133-166（2015）.MSC公司：68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人，正式Asp。计算。27，第1号，133--166（2015；Zbl 1347.68039） 全文： 内政部 链接
西蒙·福斯特;吉姆·伍德科克 统一伊莎贝尔的编程理论。 （英语） Zbl 1444.68049号 刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 109-155 (2013).MSC公司：68号30 68问题55 68伏15 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}和\textit{J.Woodcock}，莱克特。注释计算。科学。8050、109--155（2013年；Zbl 1444.68049） 全文： 内政部 链接
魏坤;吉姆·伍德科克;艾伦·伯恩斯 使用时间段对复杂系统中的时间行为进行建模。 （英语） Zbl 1291.68271号 形式方法系统。设计。 43，第3期，520-551（2013）.MSC公司：60年第68季度 68号30 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Wei}等人，《形式方法系统》。设计。43，第3号，520--551（2013；Zbl 1291.68271） 全文： 内政部 链接
安娜·卡瓦尔坎蒂;亚历山大·莫塔;吉姆·伍德科克 用于程序验证的Simulink定时模型。 （英语） Zbl 1390.68423号 刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，82-99（2013）。MSC公司：60年第68季度 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人，Lect。注释计算。科学。8051，82-99（2013；Zbl 1390.68423） 全文： 内政部