--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Paper/reference.bib	Thu Jan 12 20:28:50 2023 +0900
@@ -0,0 +1,63 @@
+@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}
+}