Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 21e6da529a9fa63c58924bd3671e1838f41b1f90)
+++ doc/bibliography/pl.bib	(revision 159460f6924c80f5c88e4bd221821656ffe84030)
@@ -813,5 +813,4 @@
     title	= {The Art of Multiprocessor Programming},
     year	= 2008,
-    isbn	= {0123705916, 9780123705914},
     publisher	= {Morgan Kaufmann Publishers},
     address	= {San Francisco},
@@ -928,7 +927,18 @@
     month	= sep,
     year	= 2013,
-    pages	= {46--53},
+    pages	= {46-53},
     publisher	= {ACM},
     address	= {New York, NY, USA},
+}
+
+@inproceedings{Aravind18,
+    contributer	= {pabuhr@plg},
+    author	= {Alex Aravind},
+    title	= {Barrier Synchronization: Simplified, Generalized, and Solved without Mutual Exclusion},
+    organization= {IEEE International Parallel and Distributed Processing Symposium Workshops},
+    series	= {IPDPSW'18},
+    month	= may,
+    year	= 2018,
+    pages	= {773-782},
 }
 
@@ -1106,4 +1116,14 @@
     publisher	= {ACM},
     address	= {New York, NY, USA},
+}
+
+@article{Brooks87,
+    author	= {Eugene D. Brooks III},
+    title	= {The Butterfly Barrier},
+    journal	= {International Journal of Parallel Programming},
+    volume	= 15,
+    number	= 4,
+    pages	= {295-307},
+    year	= 1987,
 }
 
@@ -4340,4 +4360,17 @@
     chapter	= {1},
     publisher	= {The MIT Press}
+}
+
+@article{Lamport08,
+    keywords	= {concurrency, barrier},
+    contributer	= {pabuhr@plg},
+    author	= {Leslie Lamport},
+    title	= {Implementing Dataflow with Threads},
+    journal	= {Distributed Computing},
+    year	= 2008,
+    month	= jul,
+    volume	= 21,
+    number	= 3,
+    pages	= {163-181},
 }
 
@@ -5171,6 +5204,4 @@
     journal	= {ACM Trans. Parallel Comput.},
     issn	= {2329-4949},
-    url		= {https://doi.org/10.1145/3584696},
-    doi		= {10.1145/3584696},
     articleno	= 11,
     numpages	= 23,
@@ -7769,4 +7800,14 @@
 }
 
+@book{Scott24,
+    author	= {Michael L. Scott and Trevor Brown},
+    booktitle	= {Shared-Memory Synchronization},
+    series	= {Synthesis Lectures on Computer Architecture},
+    edition	= {2nd},
+    year	= 2024,
+    publisher	= {Springer International Publishing},
+    address	= {Cham, Switzerland},
+}
+
 @inproceedings{Leissa14,
     title	= {{S}ierra: a {SIMD} extension for {C}++},
@@ -8661,4 +8702,14 @@
 }
 
+@article{Hensgen88,
+    author	= {Debra Hensgen and Raphael Finkel and Udi Manber},
+    title	= {Two algorithms for barrier synchronization},
+    journal	= {International Journal of Parallel Programming},
+    volume	= 17,
+    number	= 1,
+    pages	= {1-17},
+    year	= 1988,
+}
+
 @article{Leroy00,
     keywords	= {type-systems, exceptions},
@@ -8752,5 +8803,5 @@
     title	= {Understanding Control Flow: Concurrent Programming using $\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     publisher	= {Springer},
-    address	= {Switzerland},
+    address	= {Cham, Switzerland},
     year	= 2016,
 }