延斯·科索尔;弗里奇，拉尔斯;安迪·舒尔;加布里埃尔·坦泽尔 笛卡尔函子范畴中的双推重写：重写理论及其在部分三重图中的应用。 （英语） Zbl 1452.68096号 J.日志。阿尔盖布。方法计划。 115，文章ID 100565，34 p.（2020）.MSC公司：2012年第68季度 18A25型 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kosiol}等人，J.Log。阿尔盖布。方法计划。115，文章ID 100565，34 p.（2020；Zbl 1452.68096） 全文： 内政部
里贝罗，莱拉;费尔南多·路易斯·多蒂 线性序图文法：在分布式系统设计中的应用。 （英语） Zbl 1143.68427号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065133-150（2008）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ribeiro}和\textit{F.L.Dotti}，莱克特。注释计算。科学。5065133-150（2008年；Zbl 1143.68427） 全文： 内政部
安德烈亚·科拉迪尼 乌戈·蒙塔纳里和图变换。 （英语） Zbl 1143.68424号 Degano，Pierpaolo（编辑）等人，《并发性、图表和模型》。在乌戈·蒙塔纳里65岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065,9-15（2008）。MSC公司：2012年第68季度 68-03 01A60型 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}，莱克特。注释计算。科学。5065、9--15（2008年；Zbl 1143.68424） 全文： 内政部