\begin{thebibliography}{99}
    \bibitem{bib:jssst2006}
	下地篤樹, 河野真治. ``タブロー法を用いたContinuation based Cプログラムの検証''.
	日本ソフトウェア科学会第23回大会, 2006.
    \bibitem{bib:sigos2007}
	下地篤樹, 河野真治. ``線形時相論理によるContinuation based Cプログラムの検証''.
	情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), April, 2007.
    \bibitem{bib:jssst2000kono}
	河野真治. ``継続を持つCの下位言語によるシステム記述''.
	日本ソフトウェア科学会第17回大会, 2000.
    \bibitem{bib:sigos2000shimabukuro}
	島袋仁, 河野真治. ``C with Continuationと、そのPlayStationへの応用''.
	情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2000.
    \bibitem{bib:jssst2001higa}
	比嘉薫, 河野真治. ``タブロー法の負荷分散について''.
	日本ソフトウェア科学会第18回大会論文集, Sep, 2001.
    \bibitem{bib:spin}
	``Spin - Formal Verification''.
	http://spinroot.com/spin/whatispin.html

    \bibitem{bib:jpf}
	``Java PathFinder''.
	http://javapathfinder.sourceforge.net/
\end{thebibliography}