巴顿，J.C.M。;巴斯滕，T。;Reniers，医学硕士。 过程代数：通信过程的方程理论。由托尼·霍尔（Tony Hoare）、罗宾·米尔纳（Robin Milner）和扬·伯格斯特拉（Jan Bergstra）撰写的前言。 （英语） Zbl 1234.68001号 剑桥理论计算机科学丛书50.剑桥：剑桥大学出版社（ISBN 978-0-521-82049-3/hbk）。十六、460页。(2010).MSC公司：68-02 68问题85 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人，过程代数：通信过程的等式理论。由托尼·霍尔（Tony Hoare）、罗宾·米尔纳（Robin Milner）和扬·伯格斯特拉（Jan Bergstra）撰写的前言。剑桥：剑桥大学出版社（2010；Zbl 1234.68001）
巴顿，J.C.M。（编辑） 过程代数的应用。 （英语） 兹标0716.68001 剑桥理论计算机科学丛书, 17. 剑桥等：大学出版社。九、 317页27.50英镑；$39.50 (1990). 审核人：V.托彭查罗夫 MSC公司：68-01 2010年第68季度 2005年第68季度 08A99号 08-02 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}（编辑），过程代数的应用。剑桥等：大学出版社（1990；Zbl 0716.68001） 全文： 内政部
巴顿，J.C.M。（编辑）;Klop，J.W。（编辑） 1990年开始。并发理论：统一与扩展。荷兰阿姆斯特丹，1990年8月。诉讼程序。 （英语） Zbl 0746.68005号 计算机科学课堂讲稿458.柏林等：施普林格出版社。七、 第536页（1990年）。 审核人：F.-L.Tiplea（拉什） MSC公司：68-06 2010年第68季度 68问题55 60年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}（编辑）和\textit{J.W.Klop}（主编），CONCUR’90。并发理论：统一与扩展。荷兰阿姆斯特丹，1990年8月。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0746.68005）