Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 45af7e1145e9631b244b43c9e04278d852a2e414)
+++ doc/bibliography/pl.bib	(revision 97a15443852d39eaaeacd445f16a65ca8be4195e)
@@ -1141,4 +1141,17 @@
 }
 
+@inproceedings{Tarditi18,
+    keywords	= {Checked C},
+    contributer	= {a3moss@uwaterloo.ca},
+    author	= {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
+    title	= {Checked C: Making C Safe by Extension},
+    booktitle	= {2018 IEEE Cybersecurity Development (SecDev)}, 
+    publisher	= {IEEE},
+    year	= {2018},
+    month	= seep,
+    pages	= {53-60},
+    url		= {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
+}
+
 @book{Yourdon79,
     keywords	= {software engineering},
@@ -1301,5 +1314,8 @@
     journal	= sigplan,
     year	= 1986,
-    month	= oct, volume = 21, number = 10, pages = {19-28},
+    month	= oct,
+    volume	= 21,
+    number	= 10,
+    pages	= {19-28},
     note	= {Object Oriented Programming Workshop}
 }
@@ -7791,4 +7807,19 @@
 % Y
 
+@article{Boehm12,
+    keywords	= {memory model, race condition},
+    contributer	= {pabuhr@plg},
+    author	= {Boehm, Hans-J. and Adve, Sarita V.},
+    title	= {You Don'T Know Jack About Shared Variables or Memory Models},
+    journal	= cacm,
+    volume	= 55,
+    number	= 2,
+    month	= feb,
+    year	= 2012,
+    pages	= {48--54},
+    publisher	= {ACM},
+    address	= {New York, NY, USA},
+}
+
 % Z