Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 0fec6c16191867e177606d305a5c86998e83b934)
+++ doc/bibliography/pl.bib	(revision ef1da0e2df5a222ca4e50f7e06a2b61f8ba6efcd)
@@ -188,9 +188,9 @@
 	Unstructured {\it sends\/} and {\it accepts\/} are forbidden.  To
 	this the mechanisms of {\it delegation\/} and {\it delay queues\/}
-	are added to enable switching and triggering of activities. 
-	Concurrent subactivities and atomic actions are provided for 
+	are added to enable switching and triggering of activities.
+	Concurrent subactivities and atomic actions are provided for
 	compactness and simplicity.  We show how solutions to many important
 	concurrent problems [sic], such as pipelining, constraint management
-	and ``administration'' can be compactly expressed using these 
+	and ``administration'' can be compactly expressed using these
 	mechanisms.
    },
@@ -529,5 +529,5 @@
 	like ``c is a collection with element type e'', but how such things
 	are used isn't explained.
-	
+
 	For each descriptive class used in a parameter list, an implicit
 	parameter is created that is passed a vector of procedures.
@@ -1172,5 +1172,5 @@
 @techreport{Prokopec11,
     keywords	= {ctrie, concurrent map},
-    contributer = {a3moss@uwaterloo.ca}, 
+    contributer = {a3moss@uwaterloo.ca},
     title	= {Cache-aware lock-free concurrent hash tries},
     author	= {Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
@@ -1500,5 +1500,5 @@
     year	= 2001,
     url		= {http://citeseer.ist.psu.edu/berger01composing.html}
-} 
+}
 
 @article{Andrews83,
@@ -1545,5 +1545,5 @@
 	We give a rationale for our decisions and compare Concurrent C
 	extensions with the concurrent programming facilities in Ada.
-	Concurrent C has been implemented on the UNIX system running on a 
+	Concurrent C has been implemented on the UNIX system running on a
 	single processor.  A distributed version of Concurrent C is being
 	implemented.
@@ -1814,5 +1814,5 @@
     keywords	= {objects, concurrency},
     contributer	= {gjditchfield@plg},
-    author	= {P. A. Buhr and G. J. Ditchfield and B. M. Younger and C. R. Zarnke}, 
+    author	= {P. A. Buhr and G. J. Ditchfield and B. M. Younger and C. R. Zarnke},
     title	= {Concurrency in {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     institution	= {Department of Computer Science, University of Waterloo},
@@ -2044,5 +2044,5 @@
     series	= {Lecture Notes in Computer Science, Ed. by G. Goos and J. Hartmanis}
 }
- 
+
 @article{Wang71,
     keywords	= {coroutines},
@@ -2056,5 +2056,5 @@
     pages	= {425-449},
 }
- 
+
 @article{Castagna95,
     keywords	= {type-systems, covariance, contravariance},
@@ -2390,5 +2390,5 @@
     year	= 1996,
 }
- 
+
 @article{Richardson93,
     keywords	= {C++, persistence, database},
@@ -2473,5 +2473,5 @@
     publisher	= {ACM},
     address	= {New York, NY, USA},
-} 
+}
 
 @article{design,
@@ -2700,5 +2700,5 @@
     publisher	= {ACM},
     address	= {New York, NY, USA},
-} 
+}
 
 @book{Eiffel,
@@ -3357,5 +3357,5 @@
     publisher	= {ACM},
     address	= {New York, NY, USA},
-} 
+}
 
 @manual{Fortran95,
@@ -3740,5 +3740,5 @@
     keywords	= {processes, distributed computing},
     contributer	= {pabuhr@plg},
-    author	= {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini}, 
+    author	= {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini},
     title	= {Hermes: A Language for Distributed Computing},
     institution	= {IBM T. J. Watson Research Center},
@@ -3751,5 +3751,5 @@
     keywords	= {processes, distributed computing},
     contributer	= {pabuhr@plg},
-    author	= {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini}, 
+    author	= {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini},
     title	= {Hermes: A Language for Distributed Computing},
     publisher	= {Prentice-Hall},
@@ -4302,5 +4302,5 @@
     pages	= {85-103}
 }
-   
+
 @article{Murer96,
     keywords	= {interators, generators, cursors},
@@ -4330,5 +4330,5 @@
 
 % J
-		  
+
 @book{Java,
     keywords	= {Java},
@@ -4627,5 +4627,5 @@
     publisher	= {ACM},
     address	= {New York, NY, USA},
-} 
+}
 
 @article{Dice15,
@@ -4978,5 +4978,5 @@
     number	= 31
 }
- 
+
 @article{Dueck90,
     keywords	= {attribute grammars},
@@ -5107,5 +5107,5 @@
     keywords	= {multiple inheritance},
     contributer	= {pabuhr@plg},
-    author	= {Harry Bretthauer and Thomas Christaller and J\"{u}rgen Kopp}, 
+    author	= {Harry Bretthauer and Thomas Christaller and J\"{u}rgen Kopp},
     title	= {Multiple vs. Single Inheritance in Object-oriented Programming Languages. What do we really want?},
     institution	= {Gesellschaft F\"{u}r Mathematik und Datenverarbeitung mbH},
@@ -5650,5 +5650,5 @@
     publisher	= {ACM},
     address	= {New York, NY, USA},
-} 
+}
 
 @book{Deitel04,
@@ -5827,5 +5827,5 @@
     year	= 1980,
     month	= nov, volume = 15, number = 11, pages = {47-56},
-    note	= {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language}, 
+    note	= {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language},
     comment	= {
         The two-pass (bottom-up, then top-down) algorithm, with a proof
@@ -5957,5 +5957,5 @@
         Given a base typed lambda calculus with function types, type
 	abstractions, and a recursive expression \(\mbox{fix } x:t.e\),
-	then type inference for the partially typed language 
+	then type inference for the partially typed language
 	\begin{eqnarray}
 	\lambda x:\tau.e	&\Rightarrow& \lambda x.e	\\
@@ -6603,5 +6603,5 @@
 	manner.  The paper also discusses efficient composition of
 	sequences of asynchronous calls to different locations in a
-	network. 
+	network.
     }
 }
@@ -6616,5 +6616,5 @@
     volume	= 32, number = 4, pages = {305-311},
     abstract	= {
-        
+
     }
 }
@@ -6934,5 +6934,5 @@
 	partitioning switch statements into dense tables.  It also
 	implements target-independent function tracing and expression-level
-	profiling. 
+	profiling.
     }
 }
@@ -7150,5 +7150,5 @@
     publisher	= {ACM},
     address	= {New York, NY, USA},
-} 
+}
 
 @inproceedings{Leissa14,
@@ -7268,5 +7268,5 @@
     keywords	= {Smalltalk, abstract class, protocol},
     contributer	= {gjditchfield@plg},
-    author	= {A. Goldberg and D. Robson}, 
+    author	= {A. Goldberg and D. Robson},
     title	= {Smalltalk-80: The Language and its Implementation},
     publisher	= {Addison-Wesley},
@@ -7845,5 +7845,5 @@
     title	= {Thread (computing)},
     author	= {{Threading Model}},
-    howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_(computing)}},
+    howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_\-(computing)}},
 }
 
@@ -7889,5 +7889,5 @@
     note	= {Lecture Notes in Computer Science, v. 19},
     abstract	= {
-        
+
     }
 }
@@ -8008,5 +8008,5 @@
     publisher	= {USENIX Association},
     address	= {Berkeley, CA, USA},
-} 
+}
 
 @article{Leroy00,
@@ -8354,5 +8354,5 @@
     author	= {Bjarne Stroustrup},
     title	= {What is ``Object-Oriented Programming''?},
-    booktitle	= {Proceedings of the First European Conference on Object Oriented Programming}, 
+    booktitle	= {Proceedings of the First European Conference on Object Oriented Programming},
     month	= jun,
     year	= 1987
@@ -8396,5 +8396,5 @@
     publisher	= {ACM},
     address	= {New York, NY, USA},
-} 
+}
 
 % X