孙孟 服务和合同：联合。 （英语） Zbl 1286.68024号 Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，207-223（2008）。MSC公司：64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛M.Sun｝，电子。注释Theor。计算。科学。212、207--223（2008年；Zbl 1286.68024） 全文： 内政部
丁左华;陈振邦;刘静 服务组件体系结构的严格模型。 （英语） 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}等人，《电子》。注释Theor。计算。科学。207、33-48（2008年；Zbl 1279.68053） 全文： 内政部
克里斯蒂安·科勒;亚历山大·拉佐维克;法哈德·阿尔巴 用高级替换系统重写连接器。 （英语） Zbl 1277.68193号 Carlos Canal（编辑）等人，第六届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2007），葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第4期，77-92（2008）。MSC公司：68问题85 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Koehler}等人，《电子》。注释Theor。计算。科学。194，第4号，77-92（2008；Zbl 1277.68193） 全文： 内政部