J.A.马汀。;皮门特尔，E。 安全调整合同。 （英语） Zbl 1213.68615号 J.日志。阿尔盖布。程序。 80，编号3-5，154-179（2011）.MSC公司：68层35 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Martín}和\textit{E.Pimentel}，J.Log。阿尔盖布。程序。80，编号3--5，154-179（2011；Zbl 1213.68615） 全文： 内政部
罗德里戈·拉莫斯;奥古斯托·桑帕约;亚历山大·莫塔 交互组件协调的一致性概念。 （英语） Zbl 1200.68072号 科学。计算。程序。 75，第5期，350-373（2010）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramos}等人，科学。计算。程序。75，第5号，350-373（2010；Zbl 1200.68072） 全文： 内政部
丁左华;陈振邦;刘静 服务组件体系结构的严格模型。 （英语） Zbl 1279.68053号 Pu，Geguang（编辑）等人，《利用理论为软件工具支持服务的第一届国际研讨会论文集》（TTSS 2007），中国澳门，2007年9月22日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记207，33-48（2008）。MSC公司：68号30 68问题55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ding}等人，《电子》。理论注释。计算。科学。207、33-48（2008年；Zbl 1279.68053） 全文： 内政部
拉曼·卡扎米亚金;马可·皮斯托雷 分析web服务编排的实现条件。 （英语） Zbl 1225.68032号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿422961-76（2006）。MSC公司：68M10个 68米11 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{R.Kazhamakin}和\textit{M.Pistore}，莱克特。注释计算。科学。422961-76（2006年；Zbl 1225.68032） 全文： 内政部