萨缪尔·卡皮内蒂;科西莫·拉内夫;卢卡·帕多瓦尼 PiDuce-一个试验web服务技术的项目。 （英语） Zbl 1194.68077号 科学。计算。程序。 74，第10期，777-811（2009）.MSC公司：68英里11 68甲15 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Carpineti}等人，科学。计算。程序。74，第10号，777--811（2009；Zbl 1194.68077） 全文： 内政部 链接
约翰·博格斯特罗姆;安德鲁·戈登。;菲利普斯，安德鲁 圆周率演算的图表语义。 （英语） Zbl 1277.68164号 Amadio，Roberto（编辑）等人，第14届并发表达性国际研讨会论文集（EXPRESS 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第2期，3-29页（2008年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}等人，《电子》。注释Theor。计算。科学。194，第2号，第3--29号（2008；Zbl 1277.68164） 全文： 内政部
亚尼克·骑士;丹尼斯·卢吉兹;米歇尔·鲁西诺维奇 使用子rms约束验证加密协议。 （英语） Zbl 1137.94341号 Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学讲义4790。人工智能课堂讲稿，181-195（2007）。MSC公司：94A60型 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}等人，Lect。注释计算。科学。4790181--195（2007年；Zbl 1137.94341） 全文： 内政部
詹姆斯·约翰逊（James E.Johnson）。;David E.Langworthy。;莱斯利·兰波特;弗里德里希·沃格特。 web服务协议的正式规范。 （英语） Zbl 1178.68062号 J.日志。阿尔盖布。程序。 70，第1期，34-52（2007）.MSC公司：68个M12 68M10个 68问题65 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Johnson}等人，J.Log。阿尔盖布。程序。70，编号1，34-52（2007；Zbl 1178.68062） 全文： 内政部 链接
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 web服务身份验证的语义。 （英语） 兹比尔1142.68587 西奥。计算。科学。 340，第1期，102-153（2005）.MSC公司：68单位35 68M10个 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，Theor。计算。科学。340，编号1，102--153（2005；Zbl 1142.68587） 全文： 内政部