作　　者：Federico Buti ;Flavio Corradini ;Emanuela Merelli 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;33:37-55.doi:10.4204/EPTCS.33.3

出 版 社：Open Publishing Association

文 章 ID：83119997

作　　者：Diletta Cacciagrano ;Flavio Corradini ;Emanuela Merelli 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;40:70-84.doi:10.4204/EPTCS.40.6

出 版 社：Open Publishing Association

文 章 ID：83120062

作　　者：Emanuela Merelli ;Nicola Paoletti ;Luca Tesei

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;91:112-126.doi:10.4204/EPTCS.91.8

出 版 社：Open Publishing Association

文 章 ID：83120555