作　　者：Marco Carbone ;Søren Debois

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;38:13-27.doi:10.4204/EPTCS.38.4

出 版 社：Open Publishing Association

文 章 ID：83120040

作　　者：Gian Perrone ;Søren Debois ;Thomas Hildebrandt

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;55:20-36.doi:10.4204/EPTCS.55.2

出 版 社：Open Publishing Association

文 章 ID：83120175

作　　者：Søren Debois ;Thomas Hildebrandt ;Tijs Slaats 等

出　　处：Logical Methods in Computer Science. 2016 ;12(1):1.doi:10.2168/LMCS-12(1:1)2016

出 版 社：Technical University of Braunschweig

文 章 ID：264692128