--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bibliography.tex	Fri Feb 05 10:00:05 2010 +0900
@@ -0,0 +1,37 @@
+\begin{thebibliography}{99}
+  \bibitem{bib:kono-april-2008}
+    河野真治. ``Implementing Continuation based language in GCC''
+    Continuation Festa 2008, April, 2008 
+  \bibitem{bib:kono-march-2008}
+    河野真治. ``検証を自身で表現できるハードウェア、ソフトウェア記述言
+    語 Continuation based C と、そのCell への応用''.
+    電子情報通信学会VLSI設計技術研究会, March, 2008
+  \bibitem{bib:kinjo-master-2005}
+    金城拓実. ``軽量継続を用いたゲームプログラムの分割と再構成の考察''.
+    琉球大学理工学研究科情報工学専攻 平成17年度学位論文, 2006.
+  \bibitem{bib:gongo-master-2008}
+    宮國渡. ``Cell用のFine-Grain Task Managerの実装''.
+    琉球大学理工学研究科情報工学専攻 平成20年度学位論文, 2009.
+  \bibitem{bib:shimoji-2006}
+    下地篤樹, 河野真治. ``タブロー法を用いたContinuation based Cプログラムの検証''.
+    日本ソフトウェア科学会第23回大会, 2006.
+  \bibitem{bib:shimoji-2007}
+    下地篤樹, 河野真治. ``線形時相論理によるContinuation based Cプログラムの検証''.
+    情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), April, 2007.
+  \bibitem{bib:kinjo-2004}
+    金城拓実, 河野真治.
+    ``ゲームプログラムからの一部の仕様の抽出に関する考察''.
+    日本ソフトウェア科学会第22回大会論文集, Sep, 2005 
+  \bibitem{bib:kinjo-2004}
+    金城拓実, 河野真治.
+    ``ゲームプログラムの シナリオに基づいた状態遷移系を生成するシステムの提案''.
+    日本ソフトウェア科学会第21回大会論文集, Sep, 2004 
+  \bibitem{bib:kent-2008}
+    与儀健人, 河野真治.
+    ``Continuation based CコンパイラのGCC-4.2による実装''
+    情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), April, 2008 
+  \bibitem{bib:nestedfunc}
+    ``Nested Function''.
+    http://gcc.gnu.org/onlinedocs/gcc/Nested-Functions.html
+
+\end{thebibliography}