里贝罗，莱拉（编辑）;蒂埃里·勒科姆（编辑） 形式化方法：基础和应用。2016年11月23日至25日在巴西纳塔尔举行的第19届巴西研讨会，SBMF 2016。诉讼程序。 （英语） Zbl 1351.68029号 计算机科学课堂讲稿10090.查姆：施普林格（ISBN 978-3-319-49814-0/pbk；978-3-3169-49815-7/电子书）。x、 第252页。(2016).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Ribeiro}（编辑）和textit{T.Lecomte}（主编），形式方法：基础和应用。2016年11月23日至25日在巴西纳塔尔举行的第19届巴西研讨会，SBMF 2016。诉讼程序。查姆：斯普林格（2016；Zbl 1351.68029） 全文： 内政部
安德烈亚·科拉迪尼（编辑）;哈特穆特·埃里格（编辑）;乌戈·蒙塔纳里（编辑）;里贝罗，莱拉（编辑）;格列泽戈兹·罗森贝格（编辑） 图形变换。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。 （英语） Zbl 1147.68003号 计算机科学课堂讲稿4178.柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。xii，第473页。（2006年）。MSC公司：68-06 68号30 2012年第68季度 68兰特 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}（编辑）等人，《图形转换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（2006；Zbl 1147.68003） 全文： 内政部