@techreport{ryokka-sigos,
   author	 = "外間,政尊 and 河野,真治",
   title	 = "GearsOSのAgdaによる記述と検証",
   year 	 = "2018",
   institution	 = "琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科",
   number	 = "5",
   month	 = "may"
}

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

@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{parusu-master,
    author = "伊波立樹",
    title  = "Gears OS の並列処理",
    school = "琉球大学 大学院理工学研究科 情報工学専攻",
    year   = "2018"
}

@article{kaito-lola,
    author  = "Kaito, Tokumori and Shinji, Kono",
    title   = "Implementing Continuation based language in LLVM and Clang",
    journal = "LOLA 2015, Kyoto",
    month   = "July",
    year    =  2015

}
@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}
}