Dung, N. T. (2012). 完備流行上的結構定理 [doctoral dissertation, National Tsing Hua University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0016-2002201315252923
hua, Y. K. (2012). 根據中介碼評估支援機器碼縮減之編譯器設計 [master's thesis, National Tsing Hua University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0016-2211201315533678