Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 65a7050c7b6c234df3b0c1a23e0d49d07e827c23)
+++ doc/bibliography/pl.bib	(revision f8de4e40d5bcd47b9d45d33c9ece4dfaf5a9329e)
@@ -832,5 +832,4 @@
     howpublished= {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
 		  {http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}},
-    optnote	= {Accessed: 2016-09},
 }
 
@@ -843,5 +842,4 @@
     howpublished= {\href{https://www.boost.org/doc/libs/1_61_0/doc/html/thread.html}
 		  {https://\-www.boost.org/\-doc/\-libs/\-1\_61\_0/\-doc/\-html/\-thread.html}},
-    optnote	= {Accessed: 2016-09},
 }
 
@@ -950,5 +948,4 @@
     author	= {{\textsf{C}{$\mathbf{\forall}$} Features}},
     howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
-    optnote	= {Accessed: 2018-01-01},
 }
 
@@ -970,5 +967,4 @@
     year	= 2018,
     howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
-    optnote	= {[Accessed May 2018]},
 }
 
@@ -1470,5 +1466,4 @@
     title	= {concurrent-locking},
     howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
-    optnote	= {[Accessed April 2017]},
 }
 
@@ -1758,5 +1753,4 @@
     howpublished= {\href{https://www.airs.com/blog/archives/428}
 		  {https://www.airs.com/\-blog/\-archives/\-428}},
-    optnote	= {Accessed: 2018-05},
 }
 
@@ -2917,5 +2911,4 @@
     year	= 2014,
     howpublished= {\href{https://gcc.gnu.org/onlinedocs/gcc-4.7.2/gcc/C-Extensions.html}{https://\-gcc.gnu.org/\-onlinedocs/\-gcc-4.7.2/\-gcc/\-C\-Extensions.html}},
-    optnote	= {Accessed: 2017-04-02},
 }
 
@@ -3348,5 +3341,4 @@
     year	= 2014,
     howpublished= {https://developer.gnome.org/gobject/stable/},
-    optnote	= {Accessed: 2017-04},
 }
 
@@ -5026,5 +5018,4 @@
     year	= 2014,
     howpublished= {\href{https://developer.apple.com/library/archive/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC}{https://\-developer.apple.com/\-library/archive/\-documentation/\-Cocoa/\-Conceptual/\-ProgrammingWithObjectiveC}},
-    optnote	= {Accessed: 2018-03}
 }
 
@@ -5036,5 +5027,4 @@
     year	= 2015,
     howpublished= {\href{https://developer.apple.com/library/content/documentation/Xcode/Conceptual/RN-Xcode-Archive/Chapters/xc7_release_notes.html}{https://\-developer.apple.com/\-library/\-content/\-documentation/\-Xcode/\-Conceptual/\-RN-Xcode-Archive/\-Chapters/\-xc7\_release\_notes.html}},
-    optnote	= {Accessed: 2017-04}
 }
 
@@ -5549,5 +5539,4 @@
     year	= 2012,
     howpublished= {\href{http://cs.brown.edu/research/pubs/theses/masters/2012/verch.pdf}{http://cs.brown.edu/\-research/\-pubs/\-theses/\-masters/\-2012/\-verch.pdf}},
-    optnote	= {Accessed: 2013-10-4}
 }
 
@@ -6037,5 +6026,6 @@
     institution	= {Carnegie Mellon University},
     year	= 1991,
-    month	= feb, number = "CMU-CS-91-106",
+    month	= feb,
+    number	= {CMU-CS-91-106},
     annote	= {
         Discusses a typed lambda calculus with
@@ -6094,7 +6084,9 @@
     journal	= sigplan,
     year	= 1988,
-    month	= jul, volume = 23, number = 7, pages = {260-267},
-    note	= {Proceedings of the SIGPLAN '88 Conference on Programming Language
-	 Design and Implementation},
+    month	= jul,
+    volume	= 23,
+    number	= 7,
+    pages	= {260-267},
+    note	= {Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation},
     abstract	= {
         This paper deals with the integration of an efficient asynchronous
@@ -6144,4 +6136,15 @@
     month	= jun,
     year	= 1987,
+}
+
+@misc{Pthreads,
+    keywords	= {pthreads, C concurrency},
+    contributer	= {pabuhr@plg},
+    key		= {pthreads},
+    title	= {{Pthread}.h, Specifications Issue 7, {IEEE} Std 1003.1-2017},
+    author	= {IEEE and {The Open Group}},
+    year	= 2018,
+    howpublished= {\href{http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/pthread.h.html}
+		  {http://\-pubs.opengroup.org/\-onlinepubs/\-9699919799/\-basedefs/\-pthread.h.html}},
 }
 
@@ -6327,4 +6330,15 @@
     number	= 10,
     pages	= {27-32},
+}
+
+@article{Hesselink06,
+    author	= {Wim H. Hesselink},
+    title	= {Refinement Verification of the Lazy Caching Algorithm},
+    journal	= acta,
+    year	= 2006,
+    month	= oct,
+    volume	= 43,
+    number	= 3,
+    pages	= {195--222},
 }
 
@@ -7265,5 +7279,12 @@
     author	= {{TIOBE Index}},
     howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
-    optnote	= {Accessed: 2018-09},
+}
+
+@misc{ThreadModel,
+    contributer	= {pabuhr@plg},
+    key		= {ThreadModel},
+    title	= {Thread (computing)},
+    author	= {{Threading Model}},
+    howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_(computing)}},
 }
 
@@ -7597,5 +7618,4 @@
     year	= 2017,
     howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
-    optnote	= {Accessed: 2017-04}
 }