Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision ec92b486dc79c3f86a026bcb1454ad883b592f39)
+++ doc/bibliography/pl.bib	(revision f343c6b9c8b5f408f8025426215c2bc3b3ba5ede)
@@ -1163,16 +1163,16 @@
     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/},
+    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/}}
+    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/}}
 }
 
@@ -2347,4 +2347,20 @@
 }
 
+@article{Ritchie93,
+    keywords	= {C, history},
+    contributer	= {pabuhr@plg},
+    author	= {Ritchie, Dennis M.},
+    title	= {The Development of the {C} Language},
+    journal	= sigplan,
+    volume	= 28,
+    number	= 3,
+    month	= mar,
+    year	= 1993,
+    pages	= {201--208},
+    url		= {http://doi.acm.org/10.1145/155360.155580},
+    publisher	= {ACM},
+    address	= {New York, NY, USA},
+} 
+
 @article{design,
     keywords	= {Smalltalk, designing classes},
@@ -2354,5 +2370,7 @@
     journal	= joop,
     year	= 1988,
-    volume	= 1, number = 2, pages = {22-35},
+    volume	= 1,
+    number	= 2,
+    pages	= {22-35},
     comment	= {
 	Abstract classes represent standard protocols.  ``It is better to
@@ -3789,4 +3807,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},
 }