Ping Yang, Shengyuan Wang: 同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages). 计算机科学 46(5): 21-28 (2019)