西蒙·福斯特；韦尔塔·Y·穆尼夫，乔纳森·朱利安；乔治·斯特鲁斯 带Isabelle/HOL的混合系统的微分Hoare逻辑和精化计算。 （英语） Zbl 07578341号 Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12062, 169-186 (2020).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人，Lect。票据计算。科学。12062、169--186（2020；Zbl 07578341） 全文： 内政部 arXiv公司 链接
Hitoshi Furusawa；川原康夫；乔治·斯特鲁斯；Norihiro Tsumagari Kleisli、Parikh和Peleg为多重关系创作和提升作品。 （英语） Zbl 1371.68171号 J.日志。阿尔盖布。方法计划。 90, 84-101 (2017).MSC公司：第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}等人，J.Log。阿尔盖布。方法程序。90，84-101（2017；Zbl 1371.68171） 全文： 内政部 arXiv公司
鲁道夫·伯格哈默；沃尔特·古特曼 多重关系及其性质的代数方法。 （英语） Zbl 1471.03088号 J.日志。阿尔盖布。方法计划。 88, 45-63 (2017).MSC公司：03G15年 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{W.Guttmann}，J.Log。阿尔盖布。方法程序。88、45-63（2017年；Zbl 1471.03088） 全文： 内政部