埃琳娜·迪·拉沃雷 亚历山德罗·贾诺拉 马里奥·罗曼 尼科莱塔·萨巴迪尼 帕维尔·索博辛斯基0001 开放转移系统的标准代数。 63-81 2021 FACS公司 https://doi.org/10.1007/978-3-030-90636-8_4 conf/facs2/2021 db/conf/facs2/facs2021.html#LavoreGRS021