威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;乔泽夫·胡曼;亚辛·拉赫内奇;波埃尔、曼内斯;乔布·兹维尔 并发验证。合成和非置换方法简介。重印2001年精装版。 （英语） Zbl 1214.68125号 剑桥理论计算机科学丛书54.剑桥：剑桥大学出版社（ISBN 978-0-521-16932-5/pbk）。xxii，776页。（2011年）。MSC公司：68甲19 68-01 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.de Roever}等人，并发验证。合成和非置换方法简介。2001年精装版再版，剑桥：剑桥大学出版社（2011；Zbl 1214.68125）
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;乔泽夫·胡曼;亚辛·拉赫内奇;波埃尔、曼内斯;乔布·兹维尔 并发验证。介绍合成和非合成方法。 （英语） Zbl 1009.68020号 剑桥理论计算机科学丛书. 54. 剑桥：剑桥大学出版社。xxii，776页（2001年）。 审核人：Mihai Cipu（布库雷什蒂） MSC公司：68甲19 68-01 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.de Roever}等人，并发验证。合成和非置换方法简介。剑桥：剑桥大学出版社（2001；Zbl 1009.68020）
威尔·扬森;波埃尔、曼内斯;乔布·兹维尔 序列一致性和延迟缓存的组合方法。 （英语） Zbl 1448.68117号 分布计算。 12，编号2-3，105-127（1999）.MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{W.Janssen}等人，分布计算。12，编号2--3，105-127（1999；Zbl 1448.68117） 全文： 链接