Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision c20ba1699549899d75b1f830dd2dcc57a8560988)
+++ doc/bibliography/pl.bib	(revision c7978c0d3d2a459859659a62d13584611c72d4ee)
@@ -4566,4 +4566,15 @@
 }
 
+@inproceedings{Fang06,
+    author	= {Fang, Yi and McMillan, Kenneth L. and Pnueli, Amir and Zuck, Lenore D.},
+    editor	= {Najm, Elie and Pradat-Peyre, Jean-Fran{\c{c}}ois and Donzeau-Gouge, V{\'e}ronique Vigui{\'e}},
+    title	= {Liveness by Invisible Invariants},
+    booktitle	= {Formal Techniques for Networked and Distributed Systems - FORTE 2006},
+    year	= 2006,
+    publisher	= {Springer Berlin Heidelberg},
+    address	= {Berlin, Heidelberg},
+    pages	= {356--371},
+}
+
 @article{Pierce00,
     keywords	= {Scala, polymorphism, subtyping, type inference},
@@ -6656,4 +6667,13 @@
 }
 
+@article{Aravind09,
+    author	= {Alex A. Aravind and Wim H. Hesselink},
+    title	= {A Queue Based Mutual Exclusion Algorithm},
+    journal	= acta,
+    volume	= 46,
+    pages	= {73--86},
+    year	= 2009,
+}
+
 % R