\begin{thebibliography}{1}

\bibitem{gears}
小久保翔平，伊波立樹，河野真治\：Monad に基づくメタ計算を基本とする Gears OS
  の設計，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
  (2015).

\bibitem{segment}
河野真治，杉本　優\：Code Segment と Data Segment
  によるプログラミング手法，第54回プログラミング・シンポジウム (2013).

\bibitem{cbc-lola}
TOKKMORI, K. and KONO, S.: Implementing Continuation based language in LLVM and
  Clang, {\em LOLA 2015} (2015).

\end{thebibliography}