德·巴克尔，J.W。；范·布鲁格尔（F.van Breugel）。 高阶控制流的拓扑模型。 （英语） Zbl 1509.68147号 Brookes，Stephen（编辑）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 122-142 (1994).MSC公司：68问题55 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和\textit{F.van Breugel}，莱克特。注释计算。科学。802122--142（1994年；Zbl 1509.68147） 全文： 内政部 链接
德·巴克尔，J.W。 无逻辑逻辑编程中控制流的比较语义。 （英语） Zbl 0728.68080号 Inf.计算。 94，第2期，123-179（1991）.MSC公司：68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}，Inf.计算。94，No.2，123--179（1991；Zbl 0728.68080） 全文： 内政部
德·巴克尔，J.W。；J.N.角。 并发PROLOG的比较度量语义。 （英语） Zbl 0702.68077号 西奥。计算。科学。 75，第1-2、15-43号（1990年）.MSC公司：68问题55 2010年第68季度 68T99型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和\textit{J.N.Kok}，Theor。计算。科学。75，编号1--2，15--43（1990；Zbl 0702.68077） 全文： 内政部
德·巴克尔，J.W。；梅耶，J.-J.Ch。 并发的度量语义。 （英语） Zbl 0661.68011号 比特币 28，第3期，504-529（1988）. 审核人：S.布鲁姆 MSC公司：60年第68季度 第68页第25页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和textit{J.J.Ch.Meyer}，BIT 28，No.3，504--529（1988；Zbl 0661.68011） 全文： 内政部
德巴克，J.W。；梅耶，J.-J.Ch。；E.-R.奥尔德罗。；朱克，J.I。 统一并发语义中的转换系统、度量空间和就绪集。 （英语） Zbl 0652.68028号 J.计算。系统。科学。 36，第2期，158-224（1988）. 审核人：J.-J.Ch.梅耶 MSC公司：99年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.De Bakker}等人，J.Compute。系统。科学。36，第2号，158--224（1988；Zbl 0652.68028） 全文： 内政部 链接
德·巴克尔，J.W。；梅耶，J.-J.Ch。；E.-R.奥尔德罗。 一致并发语义中的无限流和有限观察。 （英语） Zbl 0623.68016号 西奥。计算。科学。 49, 87-112 (1987).MSC公司：60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}等人，Theor。计算。科学。49、87——112（1987年；Zbl 0623.68016） 全文： 内政部 链接
德·巴克尔，J.W。；米尔滕斯，L.G.L.T。 归纳断言方法的完备性。 （英语） Zbl 0353.68040号 J.计算。系统。科学。 11, 323-357 (1975).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit｛J.W.de Bakker｝和\textit｛L.G.L.T.Meertens｝，J.Comput。系统。科学。11、323--357（1975年；Zbl 0353.68040） 全文： 内政部