布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念：在分离逻辑、区间计算和并发中的应用。 （英语） Zbl 1367.68210号 ACM事务处理。计算。日志。 17，第3号，第15条，第25页（2016年）.MSC公司：68问题85 03B70号 07年6月 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛B.Dongol｝等人，ACM Trans。计算。日志。17，第3号，第15条，第25页（2016；Zbl 1367.68210） 全文： 内政部
布里杰什·多戈尔;维克多·戈麦斯。;乔治·斯特鲁斯 分离逻辑的程序构造和验证工具。 （英语） Zbl 1432.68071号 Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 137-158 (2015).MSC公司：68号30 03B70号 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人，Lect。注释计算。科学。9129，137--158（2015；Zbl 1432.68071） 全文： 内政部 arXiv公司 链接