弗雷德·克罗格;斯蒂芬·默兹 时间逻辑和状态系统。 （英语） Zbl 1169.03001号 理论计算机科学文本。EATCS系列柏林：施普林格出版社（ISBN 978-3-540-67401-6）。xii，433页。(2008). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03-02 03B44号 03B70号 68-02 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛F.Kröger｝和\textit｛S.Merz｝，时间逻辑和状态系统。柏林：施普林格出版社（2008；Zbl 1169.03001） 全文： DOI程序
Kimmo Varpaaniemi公司 简约状态空间生成中的顽固集方法。 （英语） Zbl 0928.68068号 赫尔辛基理工大学数字系统实验室。系列A：研究报告. 51. 赫尔辛基：HUT，赫尔辛基科技大学计算机科学与工程系，105页（1998年）。 审核人：Ketty Peeva（索菲亚） MSC公司：65年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Varpaaniemi}，关于简化状态空间生成中的顽固集方法。赫尔辛基：赫尔辛基理工大学，赫尔辛基理工大学，计算机科学与工程系（1998；Zbl 0928.68068）
弗雷德·施耐德。 关于并发编程。 （英语） Zbl 0881.68032号 计算机科学研究生课程。纽约州纽约市：施普林格。xix，473页（1997年）。 审核人：D.塔尔（Cluj） MSC公司：68N99型 68-02 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.B.Schneider}，关于并发编程。纽约州纽约市：施普林格（1997；Zbl 0881.68032）
莱昂纳德·博尔克（编辑）;斯扎·阿斯（Szałas）、安德烈吉（Andrzej）（编辑） 时间和逻辑：一种计算方法。 （英语） Zbl 0849.03011号 伦敦：伦敦大学出版社。viii，第325页（1995年）。 审核人：U.Hahn（弗赖堡i.Br.） MSC公司：03B45号 03B70号 03-06 68-06 00时25分 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bolc}（编辑）和\textit{A.Szałas}（主编），时间与逻辑：一种计算方法。伦敦：伦敦大学出版社（1995；Zbl 0849.03011）
雅各布斯·W·德·巴克。（编辑）;威廉·鲍尔·德·罗弗（编辑）;格列泽戈兹·罗森贝格（编辑） 并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日，荷兰Noordwijkerhout学校/研讨会。诉讼程序。 （英语） 兹比尔0683.68001 计算机科学课堂讲稿354.柏林等：斯普林格·弗拉格。八、 第713页（1989年）。MSC公司：68-06 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}（ed.）等人，逻辑和并发模型中的线性时间、分支时间和偏序。1988年5月30日至6月3日，荷兰诺德威克霍特学校/工作室。诉讼程序。柏林等：施普林格出版社（1989年；Zbl 0683.68001）