--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Report/final/text/reference.tex	Mon Jan 22 10:27:20 2024 +0900
@@ -0,0 +1,16 @@
+\begin{thebibliography}{99}
+\bibitem{HoareLogic} Hoare logic - 並列信頼研 mercurial repository, http://www.
+cr.ie.u-ryukyu.ac.jp/hg/Members/ryokka/HoareLogic/,
+Accessed: 2020/09/10
+
+
+\bibitem{sotoma} 外間政尊, “Continuation based c での hoare logic を用いた仕様記述と検証,” M.S. thesis, 琉球大学 大学院理工学研究科情報工学専攻, 2019.
+
+\bibitem{agdawiki}The agda wiki, http://wiki.portal.chalmers.se/agda/pmwiki.
+php, Accessed: 2023/09/10.
+
+\bibitem{agdadocument}Welcome to agda’ s documentation! — agda latest documentation, http : / / agda . readthedocs . io / en / latest/, Accessed:
+2023/09/10.
+
+\bibitem{ueti}上地悠斗, "GearsAgdaによるLeft Learning Red Black Tree の検証" 琉球大学工学部工学科知能情報コース2020
+\end{thebibliography}