Löwe，迈克尔 多态sesqui-pushout图重写。 （英文） Zbl 1321.68334号 Parisi-Prescce，Francesco（编辑）等人，《图形变换》。2015年7月21日至23日，作为2015年STAF的一部分，在意大利拉奎拉举行了第八届国际会议，ICGT 2015。诉讼程序。查姆：施普林格（ISBN 978-3-319-21144-2/pbk；978-3-3169-21145-9/电子书）。《计算机科学讲义》9151，3-18（2015）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Löwe}，莱克特。注释计算。科学。9151，3-18（2015；Zbl 1321.68334） 全文： 内政部
乌尔里克·戈拉斯;莱恩·兰伯斯;哈特穆特·埃里格;费尔南多·奥雷贾斯 带继承的属性图变换：使用抽象关键对进行有效的冲突检测和局部汇流分析。 （英文） Zbl 1284.68324号 理论。计算。科学。 424, 46-68 (2012).MSC公司：2012年第68季度 18B99型 68问题65 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{U.Golas}等人，Theor。计算。科学。424、46-68（2012年；Zbl 1284.68324） 全文： 内政部
阿娜·保拉·Lüdtke Ferreira;卢西亚娜·福斯;莱拉·里贝罗 面向对象图形语法规范的形式化验证。 （英文） Zbl 1278.68183号 Rensink，Arend（ed.）等人，《用于并发和验证的图转换研讨会论文集》（GT-VC 2006），德国波恩，2006年8月31日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第4期，第101-114页（2007年）。MSC公司：60年第68季度 68甲19 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Lüdtke Ferreira}等人，《电子》。注释Theor。计算。科学。175，第4号，101--114（2007；Zbl 1278.68183） 全文： 内政部
胡安·德·拉腊;罗西娅·巴多尔;哈特穆特·埃里格;卡斯滕·埃里格;乌尔里克·普兰奇;加布里埃尔·坦泽尔 具有节点类型继承的属性图转换。 （英文） Zbl 1116.68042号 理论。计算。科学。 376，第3号，139-163（2007）.MSC公司：2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.de Lara}等人，Theor。计算。科学。376，第3号，139--163（2007；Zbl 1116.68042） 全文： 内政部