--- a/paper/cbc.tex	Mon Jan 30 14:25:14 2017 +0900
+++ b/paper/cbc.tex	Mon Jan 30 14:54:01 2017 +0900
@@ -102,8 +102,9 @@
 % {{{ Continuation based C におけるメタ計算の例: GearsOS
 \section{Continuation based C におけるメタ計算の例: GearsOS}
 CbC におけるメタ計算は軽量継続を行なう際に Meta CodeSegment を挟むことで実現できる。
-CbC を用いてメタ計算を実現した例として、GearsOS\cite{weko_142108_1}が存在する。
+CbC を用いてメタ計算を実現した例として、GearsOS\cite{weko_142109_1}が存在する。
 GearsOS とはマルチコアCPUやGPU環境での動作を対象としたOSであり、現在OSの設計と並列処理部分の実装が行なわれている。
+GearsOS におけるメタ計算はMonadによって形式化されている\cite{Moggi:1991:NCM:116981.116984}。
 現在存在するメタ計算としてメモリの確保と割り当て、並列に書き込むことが可能な Synchronized Queue、データの保存に用いる非破壊赤黒木がある。
 
 GearsOS では CodeSegment と DataSegment はそれぞれ CodeGear と DataGear と呼ばれている。