Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 0982a056951836dd5c60fab580311fce37cc0165)
+++ doc/bibliography/pl.bib	(revision e255e69dd46d4dd26169fd820f168f7f95773b26)
@@ -939,6 +939,7 @@
     title	= {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     year	= 2018,
+    month	= aug,
     journal	= spe,
-    note	= {Accepted, to appear},
+    note	= {http://dx.doi.org/10.1002/spe.2624},
 }
 
@@ -962,5 +963,5 @@
     comment	= {
         The evidence given is thin.
-	}
+    },
 }
 
@@ -1827,5 +1828,5 @@
     key		= {Peter Buhr},
     title	= {CS343},
-    year	= 2017,
+    year	= 2018,
     howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-~cs343}},
 }
@@ -3362,8 +3363,8 @@
     author	= {Peter Buhr and David Dice and Wim H. Hesselink},
     journal	= ccpe,
-    volumeopt	= 30,
-    numberopt	= 4,
+    volume	= 30,
+    number	= 18,
     year	= 2018,
-    month	= may,
+    month	= sep,
     publisher	= {John Wiley \& Sons},
     note	= {\url{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}}
@@ -3849,5 +3850,5 @@
     keywords	= {concurrency, critical section},
     contributer	= {pabuhr@plg},
-    author	= {Dominic Duggan and G. V. Cormack and John Ophel},
+    author	= {Dominic Duggan and Gordon V. Cormack and John Ophel},
     title	= {Kinded Type Inference for Parametric Overloading},
     journal	= acta,
@@ -5855,5 +5856,5 @@
     keywords	= {Cyclone, existential types, polymorphism, type variables},
     contributer	= {a3moss@plg},
-    author	= {D. Grossman},
+    author	= {Dan Grossman},
     title	= {Quantified Types in an Imperative Language},
     journal	= toplas,