斯特凡·德姆里;瓦伦丁·戈兰科;马丁·兰格 计算机科学中的时间逻辑。有限状态系统。 （英语） Zbl 1380.68003号 剑桥理论计算机科学丛书58.剑桥：剑桥大学出版社（ISBN 978-1-107-02836-4/hbk；978-1-139-23611-9/电子书）。viii，第744页。(2016). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：68-02 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人，《计算机科学中的时间逻辑》。有限状态系统。剑桥：剑桥大学出版社（2016；Zbl 1380.68003） 全文： DOI程序
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;胡曼，乔泽夫;亚辛·拉赫内奇;波埃尔、曼内斯;乔布·兹维尔 并发验证。合成和非置换方法简介。重印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 0691.68089号 剑桥理论计算机科学丛书, 6. 剑桥（英国）等：剑桥大学出版社。IX、 279页30.00英镑；$49.50 (1988). 审核人：谢夫兰内克 MSC公司：68T99型 68吨15 03-01 PDF格式BibTeX公司 XML格式引用 \textit{A.Ramsay}，人工智能中的形式化方法。剑桥（英国）等：剑桥大学出版社（1988；Zbl 0691.68089）