@techreport{weko_25449_1,
   author	 = "宮國,渡 and 河野真治",
   title	 = "Continuation based C 言語による OS システムコールの意味記述",
   year 	 = "2007",
   institution	 = "琉球大学理工学研究科情報工学専攻, 琉球大学工学部情報工学科",
   number	 = "36(2007-OS-105)",
   month	 = "apr"
}