作　　者：Benedikt Ahrens ;Dan Frumin ;Marco Maggesi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-17.doi:10.4230/LIPIcs.FSCD.2019.5

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238892292

作　　者：Niccol{`o} Veltri ;Niels van der Weide

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-19.doi:10.4230/LIPIcs.FSCD.2019.32

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238892319

作　　者：Henning Basold ;Herman Geuvers ;Niels van der Weide

出　　处：Journal of Universal Computer Science. 2017 ;23(1):63-88.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：192806587