乔纳森·鲍文（Jonathan P.Bowen）。（编辑）;朱慧标（编辑） 统一编程理论。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。 （英语） Zbl 1355.68010号 计算机科学课堂讲稿10134.查姆：施普林格（ISBN 978-3-319-52227-2/pbk；978-3-3169-52228-9/电子书）。ix，第217页。(2017).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}（编辑）和textit{H.Zhu}（主编），统一编程理论。第六届国际研讨会，2016年UTP，冰岛雷克雅未克，2016年6月4-5日。修订了选定的论文。查姆：斯普林格（2017；Zbl 1355.68010） 全文： DOI程序
刘志明（编辑）;吉姆·伍德科克（编辑）;朱慧彪（编辑） 统一编程理论和形式化工程方法。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。 （英语） Zbl 1320.68021号 计算机科学课堂讲稿8050.柏林：施普林格出版社（ISBN 978-3-642-39720-2/pbk；978-3-642-39721-9/ebook）。xi，第283页。(2013).MSC公司：68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}（编辑）等，统一编程理论和形式工程方法。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：施普林格出版社（2013；Zbl 1320.68021） 全文： DOI程序
刘志明（编辑）;吉姆·伍德科克（编辑）;朱慧彪（编辑） 计算的理论方面——ICTAC 2013。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。 （英语） Zbl 1271.68048号 计算机科学课堂讲稿8049.柏林：施普林格出版社（ISBN 978-3-642-39717-2/pbk）。xii，第445页。(2013).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}（编辑）等，《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。柏林：施普林格出版社（2013；Zbl 1271.68048） 全文： DOI程序
刘志明（编辑）;吉姆·伍德科克（编辑）;朱慧彪（编辑） 编程理论和形式化方法。纪念何继峰70岁生日的散文。 （英语） Zbl 1269.68023号 计算机科学课堂讲稿8051.柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。xii，413页。(2013).MSC公司：68-06 68新元 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}（编辑）等，《程序设计理论和形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（2013；Zbl 1269.68023） 全文： DOI程序