卒業論文
[1] 小嶋一成, 抽象度の高い記述を可能にする代数データ型によるC言語ソースのモデルの提案, 愛知県立大学, 2014年.