--- a/paper/reference.bib	Sat Feb 08 22:07:16 2020 +0900
+++ b/paper/reference.bib	Mon Feb 10 14:20:21 2020 +0900
@@ -1,4 +1,3 @@
-                 
 @inproceedings{agda,
  author = {Norell, Ulf},
  title = {Dependently Typed Programming in Agda},
@@ -16,7 +15,7 @@
  address = {New York, NY, USA},
  keywords = {dependent types, programming},
 }
-
+                 
 
 @article{atton-ipsj,
 author="比嘉 健太 and 河野 真治",
@@ -114,34 +113,48 @@
 }
   
 
-@misc{agda-alpa,
+@misc{agda-alpa-old,
     title = {Example - Hoare Logic},
     howpublished = {\url{http://ocvs.cfv.jp/Agda/readmehoare.html}},
-    note = {Accessed: 2018/12/17(Mon)},
+    note = {Accessed: 2020/2/9(Sun)},
+}
+
+@misc{agda-alpa,
+    title = {Agda1},
+    howpublished = {\url{https://sourceforge.net/projects/agda/}},
+    note = {Accessed: 2020/2/9(Sun)},
 }
 
 @misc{agda2-hoare,
     title = {Hoare Logic in Agda2},
     howpublished = {\url{https://github.com/IKEGAMIDaisuke/HoareLogic}},
-    note = {Accessed: 2018/12/17(Mon)},
+    note = {Accessed: 2020/2/9(Sun)},
 }
 
-@misc{coq,
+@misc{coq-old,
     title = {Welcome! | The Coq Proof Assistant},
     howpublished = {\url{https://coq.inria.fr/}},
-    note = {Accessed: 2018/12/17(Mon)},
+    note = {Accessed: 2020/2/9(Sun)},
 }
 
+                  
+@misc{coq,
+    title = {Coq Source},
+    howpublished = {\url{https://github.com/coq/coq}},
+    note = {Accessed: 2020/2/9(Sun)},
+}
+                  
+
 @misc{ats2,
     title = {ATS-PL-SYS},
     howpublished = {\url{http://www.ats-lang.org/}},
-    note = {Accessed: 2018/12/17(Mon)},
+    note = {Accessed: 2020/2/9(Sun)},
 }
 
 @misc{rust,
     title = {Rust programming language},
     howpublished = {\url{https://www.rust-lang.org/}},
-    note = {Accessed: 2018/12/17(Mon)},
+    note = {Accessed: 2020/2/9(Sun)},
 }
 
 
@@ -184,7 +197,7 @@
 @misc{cr-ryukyu,
     title = {whileTestPrim.agda - 並列信頼研 mercurial repository},
     howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/ryokka/HoareLogic/file/tip/whileTestPrim.agda}},
-    note = {Accessed: 2018/12/17(Mon)}
+    note = {Accessed: 2020/2/9(Sun)}
 }
 
 @mastersthesis{utah-master,
@@ -233,4 +246,18 @@
     month   = "July",
     year    =  2015
 
-}
\ No newline at end of file
+}
+
+
+@misc{cbc-llvm,
+    title = {cbc-llvm - 並列信頼研 mercurial repository},
+    howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_llvm/}},
+    note = {Accessed: 2020/2/9(Sun)}
+}
+
+@misc{cbc-gcc,
+    title = {cbc-gcc - 並列信頼研 mercurial repository},
+    howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_gcc/}},
+    note = {Accessed: 2020/2/9(Sun)}
+}
+