德波尔（Frank S。;Joost N.角。;卡图西亚Palamidessi;简·J·M·M·鲁顿。 异步通信的范例及其在并发约束编程中的应用。 （英语） Zbl 0832.68014号 Apt，K.R.（编辑）等人，《逻辑编程语言》。约束、函数和对象。伦敦：麻省理工学院出版社。82-114 (1993).MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}等人，in：逻辑编程语言。约束、函数和对象。伦敦：麻省理工学院出版社。82-114（1993；Zbl 0832.68014）
德波尔，F.S。;J.N.角。;帕拉米德斯，C。;J.J.M.M.鲁顿。 从失败到成功：比较Horn子句逻辑的指称语义和声明语义。 （英语） Zbl 0761.68055号 西奥。计算。科学。 101，第2期，239-263（1992）.MSC公司：68问题55 68T27型 68T99型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人，Theor。计算。科学。101，第2号，239--263（1992；Zbl 0761.68055） 全文： 内政部
德波尔，F.S。;J.J.M.M.鲁顿。;J.N.角。;帕拉米德西，C。 并发逻辑语言的语义模型。 （英语） Zbl 0744.68087号 西奥。计算。科学。 86，第1期，3-33页（1991年）. 审核人：J.-J.Ch.Meyer（阿姆斯特丹） MSC公司：68问题55 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人，Theor。计算。科学。86，第1号，第3--33号（1991年；Zbl 0744.68087） 全文： 内政部
Joost N.角。;简·J·M·M·鲁顿。 比较并发语义时的收缩。 （英语） Zbl 0707.68054号 西奥。计算。科学。 76，编号2-3，179-222（1990）.MSC公司：68问题55 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Kok}和\textit{J.J.M.M.Rutten}，Theor。计算。科学。76，编号2--3，179-222（1990；Zbl 0707.68054） 全文： 内政部
美国，皮埃尔;杰科·德·巴克;Joost N.角。;简·拉特 并行面向对象语言的表示语义。 （英语） Zbl 0695.68058号 Inf.计算。 83，第2期，152-205（1989）. 审核人：G.萨克 MSC公司：68问题55 68N99型 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{P.America}等人，Inf.Compute。83，No.2，152--205（1989；Zbl 0695.68058） 全文： 内政部 链接
德波尔（Frank S。;Joost N.角。;卡图西亚Palamidessi;鲁滕，简·J·M·M。 控制流与逻辑：保护号角子句的指称和声明模型。 （英语） Zbl 0755.68094号 计算机科学数学基础。第14次研讨会。，89年MFCS，Porąbka-Kozubnik/Pol。1989年，Lect。注释计算。科学。379, 165-176 (1989).MSC公司：68问题55 68甲15 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人，Lect。注释计算。科学。无，165--176（1989；Zbl 0755.68094）
J.N.角。;J.J.M.M.鲁顿。 比较并发语义时的收缩。 （英语） Zbl 0649.68011号 自动化、语言和编程、Proc。第15国际学院，坦佩雷/芬兰。1988年，Lect。注释计算。科学。317, 317-332 (1988).MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式