--- a/Journal/document/root.bib	Tue Aug 16 10:21:14 2011 +0000
+++ b/Journal/document/root.bib	Wed Aug 17 07:43:09 2011 +0000
@@ -1,6 +1,6 @@
 @article{Harper99,
   author    = {R.~Harper},
-  title     = {Proof-Directed Debugging},
+  title     = {{P}roof-{D}irected {D}ebugging},
   journal   = {Journal of Functional Programming},
   volume    = {9},
   number    = {4},
@@ -10,8 +10,8 @@
 
 @article{Yi06,
   author    = {K.~Yi},
-  title     = {Educational Pearl: 'Proof-directed debugging' revisited
-               for a first-order version},
+  title     = {{E}ducational {P}earl: `{P}roof-{D}irected {D}ebugging' {R}evisited
+               for a {F}irst-{O}rder {V}ersion},
   journal   = {Journal of Functional Programming},
   volume    = {16},
   number    = {6},
@@ -177,12 +177,13 @@
 
 @inproceedings{WuZhangUrban11,
   author    = {C.~Wu and X.~Zhang and C.~Urban},
-  title     = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions},
+  title     = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions
+               ({P}roof {P}earl)},
   booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving},
   year      = {2011},
-  pages     = {???},
+  pages     = {341--356},
   series    = {LNCS},
-  volume    = {???}
+  volume    = {6898}
 }