Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision bee653c38b2689440676977bdd8a3166b43e87f4)
+++ doc/bibliography/pl.bib	(revision 9be2b60c909b1eb29b70e11e6f9a84992e939177)
@@ -1146,18 +1146,18 @@
     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)}
-    year = {2018},
-    month = {September},
-    pages = {53-60},
-    publisher = {IEEE},
-    url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
+    booktitle	= {2018 IEEE Cybersecurity Development (SecDev)},
+    year	= {2018},
+    month	= {September},
+    pages	= {53-60},
+    publisher	= {IEEE},
+    url		= {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
 }
 
 @misc{Clang,
-    keywords = {clang},
-    contributer = {a3moss@uwaterloo.ca},
-    title = {Clang: a {C} language family frontend for {LLVM}},
-    howpublished = {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}},
-    note = {Accessed 2019-02-22}
+    keywords	= {clang},
+    contributer	= {a3moss@uwaterloo.ca},
+    title	= {Clang: a {C} language family frontend for {LLVM}},
+    howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}},
+    note	= {Accessed 2019-02-22}
 }
 
@@ -3739,4 +3739,16 @@
     optaddress	= {Waterloo, Ontario, Canada, N2L 3G1},
     note	= {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
+}
+
+@article{Swift05,
+   contributer	= {pabuhr@plg},
+   author	= {Michael M. Swift and Brian N. Bershad and Henry M. Levy},
+   title	= {Improving the Reliability of Commodity Operating Systems},
+   journal	= tocs,
+   volume	= 23,
+   number	= 1,
+   month	= feb,
+   year		= 2005,
+   pages	= {77-110},
 }