@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/2/9(Sun)},}