作 者:Peter Johnson ;Rachid Hourizi ;Neil Carrigan 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;16:51-63.doi:10.4204/EPTCS.16.5
出 版 社:Open Publishing Association
文 章 ID:83119817