@Misc{Yasutaka:2016,
  author = "{比嘉 健太, 河野 真治}",
  title = "{メタ計算を用いた Continuation based C の検証手法}",
  journal = "琉球大学工学部情報工学科平成 28 年度学位論文",
  year = 2016
}

@Misc{Tatsuki:2016,
  author = "{伊波 立樹, 東恩納 琢偉, 河野 真治}",
  title = "{Code Gear 、Data Gear に基づく OS のプロトタイプ}",
  journal = "{情報処理学会システムソフトウェアとオペレーティングシステム研究会}",
  year = 2016
}

@Misc{kaito:2015,
  author = "{徳森 海斗, 河野 真治}",
  title = "{LLVM Clang 上の Continuation based C コンパイラ の改良}",
  journal = "{琉球大学工学部情報工学科平成 27 年度学位論文}",
  year = 2015
}

@misc{agda,
    title = {The Agda wiki},
    howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
    note = {Accessed: 2017/10/24(Tue)}
}


@misc{agda-documentation,
    title = {Welcome to Agda’s documentation! — Agda 2.6.0 documentation},
    howpublished = {\url{http://agda.readthedocs.io/en/latest/index.html}},
    note = {Accessed: 2017/10/24(Tue)}
}