--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/final_pre/finalPre.bbl	Mon Feb 19 23:32:24 2018 +0900
@@ -0,0 +1,25 @@
+\begin{thebibliography}{1}
+
+\bibitem{Yasutaka:2016}
+{比嘉 健太, 河野 真治}.
+\newblock {メタ計算を用いた Continuation based C の検証手法}, 2016.
+
+\bibitem{Tatsuki:2016}
+{伊波 立樹, 東恩納 琢偉, 河野 真治}.
+\newblock {Code Gear 、Data Gear に基づく OS のプロトタイプ}, 2016.
+
+\bibitem{kaito:2015}
+{徳森 海斗, 河野 真治}.
+\newblock {LLVM Clang 上の Continuation based C コンパイラ の改良}, 2015.
+
+\bibitem{agda}
+The agda wiki.
+\newblock \url{http://wiki.portal.chalmers.se/agda/pmwiki.php}.
+\newblock Accessed: 2017/10/24(Tue).
+
+\bibitem{agda-documentation}
+Welcome to agda’s documentation! ― agda 2.6.0 documentation.
+\newblock \url{http://agda.readthedocs.io/en/latest/index.html}.
+\newblock Accessed: 2017/10/24(Tue).
+
+\end{thebibliography}