莱昂纳德·博尔克（编辑）；斯扎·阿斯、安德烈吉（编辑） 时间和逻辑：一种计算方法。 （英语） Zbl 0849.03011号 伦敦：伦敦大学出版社。viii，第325页（1995年）。 审核人：U.Hahn（弗赖堡i.Br.） MSC公司：03B45号 03B70号 03-06 68-06 00B25型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bolc}（编辑）和\textit{A.Szałas}（主编），时间与逻辑：一种计算方法。伦敦：伦敦大学出版社（1995；Zbl 0849.03011）
雅各布斯·W·德·巴克。（编辑）；威廉·鲍尔·德·罗弗（编辑）；格列泽戈兹·罗森贝格（编辑） 并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日，荷兰Noordwijkerhout学校/研讨会。诉讼程序。 （英语） Zbl 0683.68001号 计算机科学课堂讲稿354.柏林等：斯普林格·弗拉格。八、 第713页（1989年）。MSC公司：68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛J.W.de Bakker｝（编辑）等人，逻辑和并发模型中的线性时间、分支时间和偏序。1988年5月30日至6月3日，荷兰诺德威克霍特学校/工作室。诉讼程序。柏林等：Springer-Verlag（1989；Zbl 0683.68001）