@misc{cbc-gcc,
    title = {Hoare Logic - 並列信頼研 mercurial repository},
    howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/ryokka/HoareLogic/}},
    note = {Accessed: 2020/09/10},}

	
@mastersthesis{ryokka-master,
    author = "外間政尊",
    title  = "Continuation based C での Hoare Logic を用いた仕様記述と検証",
    school = "琉球大学 大学院理工学研究科 情報工学専攻",
    year   = "2019"
}

@article{hoare,
	author = {Hoare, C. A. R.},
	title = {An Axiomatic Basis for Computer Programming},
	year = {1969},
	issue_date = {October 1969},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	volume = {12},
	number = {10},
	issn = {0001-0782},
	url = {https://doi.org/10.1145/363235.363259},
	doi = {10.1145/363235.363259},
	journal = {Commun. ACM},
	month = oct,
	pages = {576–580},
	numpages = {5},
	keywords = {programming language design, theory of programming’ proofs of programs, machine-independent programming, program documentation, axiomatic method, formal language definition}
}

@misc{agda-wiki,
    title = {The Agda wiki},
    howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
    note = {Accessed: 2020/09/10},
}

@misc{agda-documentation,
    title = {Welcome to Agda’s documentation! — Agda latest documentation},
    howpublished = {\url{http://agda.readthedocs.io/en/latest/}},
    note = {Accessed: 2020/09/10},
}

@book{Stump:2016:VFP:2841316,
 author = {Stump, Aaron},
 title = {Verified Functional Programming in Agda},
 year = {2016},
 isbn = {978-1-97000-127-3},
 publisher = {Association for Computing Machinery and Morgan \&\#38; Claypool},
 address = {New York, NY, USA},
}

@mastersthesis{atton-master,
    author = "比嘉健太",
    title  = "メタ計算を用いた Continuation based C の検証手法",
    school = "琉球大学 大学院理工学研究科 情報工学専攻",
    year   = "2017"
}

@mastersthesis{utah-master,
    author = "徳森海斗",
    title  = "LLVM Clang 上の Continuation based C コンパイラ の改良",
    school = "琉球大学 大学院理工学研究科 情報工学専攻",
    year   = "2016"
}
 
@misc{rbtree,
  title={データ構造と基本アルゴリズム},
  author={渡邉},
  year={2000},
  publisher={共立出版}
}