作 者:Jurriën Stutterheim ;Wouter Swierstra ;Doaitse Swierstra
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;106:50-62.doi:10.4204/EPTCS.106.4
出 版 社:Open Publishing Association
文 章 ID:85356935