H.J.Sander，布鲁金克;拉斐尔·考德利埃;马蒂亚斯·Hülsbusch;巴巴拉·科尼格 条件反应系统。 （英语） Zbl 1246.68152号 Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–《莱布尼茨国际信息学学报》第13期，191-203年，仅电子版（2011年）。MSC公司：60年第68季度 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.J.S.Bruggink}等人，LIPIcs——莱布尼茨国际程序。通知。13、191--203（2011；Zbl 1246.68152） 全文： 内政部
H.J.Sander，布鲁金克 探讨一种证明图变换系统终结性的系统方法。 （英语） Zbl 1283.68203号 König，Barbara（编辑）等人，第三届并发和验证图形转换研讨会论文集（GT-VC 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》213，第1期，23-38（2008）。MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.J.S.Bruggink}，电子。注释Theor。计算。科学。213，编号1，23-38（2008；Zbl 1283.68203） 全文： 内政部