Dov M.加巴伊。;马克·雷诺兹（Mark A.Reynolds）。;马塞洛·芬格 时间逻辑。第2卷。数学基础和计算方面。 （英语） Zbl 1014.03006号 牛津逻辑指南. 40. 纽约州纽约市：牛津大学出版社。xiv，597页（2000年）。MSC公司：03-02 03B44号 03B70号 65年第68季度 60年第68季度 68T27型 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人，时间逻辑。第2卷。数学基础和计算方面。纽约州纽约市：牛津大学出版社（2000；Zbl 1014.03006）
马塞洛·芬格;马克·雷诺兹 双时态数据库的二维可执行时态逻辑。 （英语） 兹比尔0945.03020 Barringer，Howard（编辑）等人，《时间逻辑的进展》。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。16, 393-411 (2000).MSC公司：03B44号 第68页，共15页 03B70号 90B99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}和\textit{M.Reynolds}，应用。日志。序列号。16、393--411（2000；Zbl 0945.03020）
马塞洛·芬格;马克·雷诺兹 强制历史：二维可执行时态逻辑。 （英语） Zbl 0952.03015号 Ohlbach，Hans Jürgen（编辑）等人，《逻辑、语言和推理》。纪念Dov Gabbay的论文。多德雷赫特：Kluwer学术出版社。趋势日志。螺柱日志。伦敦银行同业拆借利率。5, 73-98 (1999).MSC公司：03B44号 第68页，共15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}和\textit{M.Reynolds}，趋势日志。螺柱日志。伦敦银行同业拆借利率。5、73-98（1999；Zbl 0952.03015）