约翰·德里克;埃尔克·博伊滕 关系并发优化。三： 痕迹、部分关系和自动机。 （英语） Zbl 1342.68227号 正式Asp。计算。 26，第2期，407-432（2014）.MSC公司：68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.Derrick｝和\textit｛E.Boiten｝，正式Asp。计算。26，第2号，407--432（2014；Zbl 1342.68227） 全文： 内政部
霍华德·鲍曼;约翰·德里克 正式方法中的问题。重印2001年精装版。 （英语） Zbl 1257.68103号 Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。36-51 (2010).MSC公司：60年第68季度 64岁以下 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{J.Derrick}，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。36-51（2010年；Zbl 1257.68103）
霍华德·鲍曼（编辑）;约翰·德里克（编辑） 分布式处理的形式化方法。面向对象方法综述。重印2001年精装版。 （英语） Zbl 1233.68011号 剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。x、 480页。(2010).MSC公司：68-06 68问题85 68甲19 60年第68季度 68号30 64岁以下 68甲15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}（ed.）和\textit{J.Derrick}（edi.），分布式处理的形式化方法。面向对象方法综述。2001年精装版再版，剑桥：剑桥大学出版社（2010；Zbl 1233.68011）
约翰·德里克;埃尔克·博伊滕 关系并发求精：自动机。 （英语） Zbl 1342.68226号 Boiten，Eerke（编辑）等人，第14届BCS-FACS精炼研讨会会议记录（REFINE 2009），荷兰埃因霍温，2009年11月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记259，21-34（2009）。MSC公司：68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten}，电子。注释Theor。计算。科学。259、21-34（2009年；Zbl 1342.68226） 全文： 内政部
杰里米·布莱恩斯;霍华德·鲍曼;约翰·德里克 模型检验随机自动机。 （英语） 兹比尔1365.68316 ACM变速器。计算。日志。 4，第4期，452-492（2003）.MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bryans}等人，ACM Trans。计算。日志。第4号，第452-492页（2003年；兹bl 1365.68316） 全文： 内政部
约翰·德里克;格雷姆·史密斯 Object-Z和CSP中规定的系统的结构优化。 （英语） Zbl 1093.68602号 正式Asp。计算。 15，第1期，1-27页（2003年）.MSC公司：60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{G.Smith}，正式Asp。计算。15，第1号，1--27（2003；Zbl 1093.68602） 全文： 内政部
艺术，托马斯;克拉拉·贝纳克·厄尔;约翰·德里克 验证Erlang代码：资源锁案例研究。 （英语） Zbl 1064.68548号 Eriksson，Lars-Henrik（编辑）等人，FME 2002：正式方法——正确处理IT。欧洲正式方法国际研讨会，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43928-5）。莱克特。注释计算。科学。2391, 184-203 (2002).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Arts}等人，Lect。注释计算。科学。2391184--203（2002年；Zbl 1064.68548） 全文： 链接
霍华德·鲍曼（编辑）;约翰·德里克（编辑） 分布式处理的形式化方法。面向对象方法综述。 （英语） Zbl 1233.68012号 剑桥：剑桥大学出版社（ISBN 0-521-77184-6/hbk）。x、 480页。(2001).MSC公司：68-06 68问题85 68甲19 60年第68季度 68号30 64岁以下 68甲15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}（ed.）和\textit{J.Derrick}（edi.），分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（2001；Zbl 1233.68012）
埃尔克·博伊滕;约翰·德里克 解放数据精炼。 （英语） 兹伯利0963.68140 罗兰德·巴克豪斯（编辑）等人，《程序构造的数学》。2000年7月3日至5日，第五届国际会议，MPC 2000，葡萄牙利马桥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1837, 144-166 (2000).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick}，莱克特。注释计算。科学。1837144-166（2000年；Zbl 0963.68140）