Wu, K. C. (2008). Formal-Assisted Buffer Insertion [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU.2008.00598
Yang, Y. R. (2006). Instruction Set Extension for Interpolation [master's thesis, National Tsing Hua University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0016-1303200709302045
Wu, C. F. (2008). Quasi-output-buffered Switches [master's thesis, National Tsing Hua University]. Airiti Library. https://doi.org/10.6843/NTHU.2008.00678