Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision b0795bebc0e389f1524fddfc7d31695fbea4c2e5)
+++ doc/bibliography/pl.bib	(revision 64cf022b37f2d2037efeb782541e1ddaf7a595b2)
@@ -4524,4 +4524,13 @@
 }
 
+@misc{libfibre,
+    key		= {libfibre},
+    author	= {Martin Karsten},
+    title	= {{libfibre:~User-Level Threading Runtime}},
+    howpublished= {\href{https://git.uwaterloo.ca/mkarsten/libfibre}
+    		  {https://\-git.uwaterloo.ca/\-mkarsten/\-libfibre}},
+    note	= {[Online; accessed 2020-04-15]},
+}
+
 @article{Linda,
     keywords	= {Linda, concurrency},
@@ -5064,5 +5073,6 @@
     title	= {Multiple Inheritance for {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     booktitle	= {Proceedings of the Spring '87 EUUG Conference},
-    month	= may, year = 1987
+    month	= may,
+    year	= 1987,
 }
 
@@ -8030,4 +8040,20 @@
 }
 
+@article{Karsten20,
+    author	= {Karsten, Martin and Barghi, Saman},
+    title	= {{User-level Threading: Have Your Cake and Eat It Too}},
+    year	= {2020},
+    issue_date	= {March 2020},
+    publisher	= {Association for Computing Machinery},
+    address	= {New York, NY, USA},
+    volume	= {4},
+    number	= {1},
+    url		= {https://doi.org/10.1145/3379483},
+    doi		= {10.1145/3379483},
+    journal	= {Proc. ACM Meas. Anal. Comput. Syst.},
+    month	= mar,
+    numpages	= {30},
+}
+
 @techreport{Harmony,
     keywords	= {messages, concurrency},
@@ -8045,9 +8071,11 @@
     contributer	= {gjditchfield@plg},
     author	= {Henry Lieverman},
-    title	= {Using Prototypical Objects to Implement Shared Behavior in
-		  Object Oriented Systems},
+    title	= {Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems},
     journal	= sigplan,
-    month	= nov, year = 1986,
-    volume	= 21, number = 11, pages = {214-223}
+    month	= nov,
+    year	= 1986,
+    volume	= 21,
+    number	= 11,
+    pages	= {214-223}
 }