贝纳姆·巴尼克巴尔（编辑）;霍华德·巴林格（编辑）;阿米尔·普努利（编辑） 规范中的时序逻辑。1987年4月8日至10日，英国阿尔特林查姆。诉讼程序。 （英语） Zbl 0718.68002号 计算机科学讲义, 398. 柏林等：Springer-Verlag。六、 第448页，DM 63.00（1989）。 审核人：J.Šefránek（布拉迪斯拉发） MSC公司：68-06 2010年第68季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Banieqbal}（ed.）等人，规范中的时态逻辑。1987年4月8日至10日，英国阿尔特林查姆。诉讼程序。柏林等：Springer-Verlag（1989；Zbl 0718.68002）
霍华德·巴林格;鲁德·柯伊伯;阿米尔·普努利 类CSP语言的合成时间方法。 （英语） 兹伯利0594.68018 程序设计中的形式化模型。IFIP TC2工作会议，维也纳/奥地利，1985年，207-227年（1986年）。MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式