--- a/Journal/document/root.bib	Fri Aug 12 17:08:58 2011 +0000
+++ b/Journal/document/root.bib	Mon Aug 15 21:09:08 2011 +0000
@@ -1,4 +1,30 @@
+@article{Harper99,
+  author    = {R.~Harper},
+  title     = {Proof-Directed Debugging},
+  journal   = {Journal of Functional Programming},
+  volume    = {9},
+  number    = {4},
+  year      = {1999},
+  pages     = {463-469}
+}
 
+@article{Yi06,
+  author    = {K.~Yi},
+  title     = {Educational Pearl: 'Proof-directed debugging' revisited
+               for a first-order version},
+  journal   = {Journal of Functional Programming},
+  volume    = {16},
+  number    = {6},
+  year      = {2006},
+  pages     = {663-670}
+}
+
+
+@Manual{PittsHOL4,
+  title = 	 {{S}yntax and {S}emantics},
+  author = 	 {A.~M.~Pitts},
+  note = 	 {Part of the documentation for the HOL4 system.}
+}
 
 @article{OwensReppyTuron09,
   author = {S.~Owens and J.~Reppy and A.~Turon},
@@ -63,7 +89,7 @@
 @article{Brzozowski64,
  author = {J.~A.~Brzozowski},
  title = {{D}erivatives of {R}egular {E}xpressions},
- journal = {J.~ACM},
+ journal = {Journal of the ACM},
  volume = {11},
  issue = {4},
  year = {1964},