\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:kono-2006}
    河野真治, 渕田良彦, 宮國渡.
    ``継続を基本とする言語 CbC による分散プログラミング''.
    日本ソフトウェア科学会第23回大会論文集, Sep, 2006 
  \bibitem{bib:kono-2000}
    河野真治, 島袋仁.
    ``C with Continuation と、そのPlayStationへの応用''.
    情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2000
  \bibitem{bib:kono-1998}
    河野真治, 池村正之.
    ``状態集合の分割による時相論理検証の並列化''.
    電気学会・電子情報通信学会合同講演会, Dec, 1998 
  \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:akira-2008}
    神里晃 宮國渡, 杉山千秋, 河野真治.
    ``CからCellアーキテクチャを利用したCbCへの変換''
    電子情報通信学会VLSI設計技術研究会, March, 2008
  \bibitem{bib:kinjo-2005}
    金城拓実, 河野真治.
    ``ゲームプログラムからの一部の仕様の抽出に関する考察''.
    日本ソフトウェア科学会第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}