于，岳;任尚平;卡罗琳·塔尔科特 在基于半环的时间约束下协调异步和开放分布式系统。 （英语） Zbl 1347.68032号 Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，133-153（2009）。MSC公司：64岁以下 68号30 2012年第68季度 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yu}等人，《电子》。理论注释。计算。科学。229，第2号，133--153（2009；Zbl 1347.68032） 全文： 内政部
彼得·帕达维茨 Expander2：交互和自动化之间的程序验证。 （英语） Zbl 1279.68293号 López Fraguas，Francisco J.（编辑），第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006），西班牙马德里，2006年11月16日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记177，35-57（2007）。MSC公司：68吨15 03B70号 68号30 68问题65 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Padawitz}，电子。理论注释。计算。科学。177、35-57（2007年；Zbl 1279.68293） 全文： 内政部
马丁·威尔辛;Denker，砂砾;卡罗琳·塔尔科特;安迪·波乔;琳达·布里塞梅斯特 软约束的重写逻辑框架。 （英语） Zbl 1279.68124号 Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，181-197（2007）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wirsing}等人，《电子》。理论注释。计算。科学。176，第4号，181--197（2007；Zbl 1279.68124） 全文： 内政部 OA许可证