秦胜超；何冠华；魏恩根·钦；杨红丽 用于自动程序验证的组合域上的不变量合成。 （英语） Zbl 1390.68190号 刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，304-325（2013）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Qin}等人，Lect。注释计算。科学。8051、304--325（2013；Zbl 1390.68190） 全文： 内政部
克里斯蒂安·马萨拉古；魏恩根·钦；安德烈·特凡；瓦西里·阿拉伊巴 业务流程规范和验证的严格方法。 （英语） Zbl 1184.68340号 正式Asp。计算。 21，第5期，495-510（2009）.MSC公司：60年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{C.Masalagiu}等人，正式Asp。计算。21，第5号，495--510（2009；Zbl 1184.68340） 全文： 内政部