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