\begin{thebibliography}{1}

\bibitem{agda-wiki}
: The Agda wiki, \url{http://wiki.portal.chalmers.se/agda/pmwiki.php}.

\bibitem{kaito-lola}
Kaito, T. and Shinji, K.: Implementing Continuation based language in LLVM and
  Clang, {\em LOLA 2015, Kyoto} (2015).

\bibitem{Stump:2016:VFP:2841316}
Stump, A.: {\em Verified Functional Programming in Agda}, Association for
  Computing Machinery and Morgan \&\#38; Claypool, New York, NY, USA (2016).

\bibitem{parusu-master}
伊波立樹\：Gears OS の並列処理，修士論文，琉球大学 大学院理工学研究科
  情報工学専攻 (2018).

\bibitem{ryokka-sigos}
政尊外間，真治河野\：GearsOSのAgdaによる記述と検証，技術報告
  5，琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科 (2018).

\bibitem{atton-ipsj}
比嘉健太，河野真治\：Verification Method of Programs Using Continuation based
  C, 情報処理学会論文誌プログラミング（PRO）， Vol.~10, No.~2, pp.\ 5--5
  (online), \urle{https://ci.nii.ac.jp/naid/170000148438/en/} (2017).

\bibitem{utah-master}
徳森海斗\：LLVM Clang 上の Continuation based C コンパイラ
  の改良，修士論文，琉球大学 大学院理工学研究科 情報工学専攻 (2016).

\bibitem{atton-master}
比嘉健太\：メタ計算を用いた Continuation based C の検証手法，修士論文，琉球大学
  大学院理工学研究科 情報工学専攻 (2017).

\end{thebibliography}