Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 1836081bd1f9cea4e4c6358063a5670374b96070)
+++ doc/bibliography/pl.bib	(revision 53bb8f1f8cae8a384c5024ab0caed57d27778a0d)
@@ -330,5 +330,5 @@
     contributer	= {pabuhr@plg},
     author	= {Nissim Francez},
-    title	= {Another Advantage of Key word Notation for Parameter Communication with Subprograms},
+    title	= {Another Advantage of Keyword Notation for Parameter Communication with Subprograms},
     journal	= cacm,
     volume	= 20,
@@ -831,6 +831,15 @@
     year	= 2015,
     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},
+		  {http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}},
+}
+
+@misc{BoostThreads,
+    keywords	= {Boost Thread Library},
+    contributer	= {pabuhr@plg},
+    author	= {Anthony Williams and Vicente J. Botet Escriba},
+    title	= {Boost Thread Library},
+    year	= 2015,
+    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}},
 }
 
@@ -939,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},
 }
 
@@ -959,5 +967,4 @@
     year	= 2018,
     howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
-    optnote	= {[Accessed May 2018]},
 }
 
@@ -1134,14 +1141,15 @@
 }
 
-@Inproceedings{Tarditi18,
-    keywords = {Checked C},
-    contributer = {a3moss@uwaterloo.ca},
-    author = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
-    title = {Checked C: Making C Safe by Extension},
+@inproceedings{Tarditi18,
+    keywords	= {Checked C},
+    contributer	= {a3moss@uwaterloo.ca},
+    author	= {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
+    title	= {Checked C: Making C Safe by Extension},
+    booktitle	= {2018 IEEE Cybersecurity Development (SecDev)}
     year = {2018},
     month = {September},
+    pages = {53-60},
     publisher = {IEEE},
     url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
-    pages = {53-60},
 }
 
@@ -1314,5 +1322,8 @@
     journal	= sigplan,
     year	= 1986,
-    month	= oct, volume = 21, number = 10, pages = {19-28},
+    month	= oct,
+    volume	= 21,
+    number	= 10,
+    pages	= {19-28},
     note	= {Object Oriented Programming Workshop}
 }
@@ -1479,5 +1490,4 @@
     title	= {concurrent-locking},
     howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
-    optnote	= {[Accessed April 2017]},
 }
 
@@ -1767,5 +1777,4 @@
     howpublished= {\href{https://www.airs.com/blog/archives/428}
 		  {https://www.airs.com/\-blog/\-archives/\-428}},
-    optnote	= {Accessed: 2018-05},
 }
 
@@ -2956,5 +2965,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},
 }
 
@@ -3040,4 +3048,14 @@
 }
 
+@manual{WindowsFibers,
+    keywords	= {threads, fibers},
+    contributer	= {pabuhr@plg},
+    author	= {Windows},
+    title	= {Fibers},
+    organization= {Microsoft, Windows Development Center},
+    address	= {\href{https://docs.microsoft.com/en-us/windows/desktop/ProcThread/fibers}{https://\-docs.microsoft.com/\-en-us/\-windows/\-desktop/\-ProcThread/\-fibers}},
+    year	= 2018,
+}
+
 @inproceedings{F-bound,
     keywords	= {},
@@ -3087,4 +3105,14 @@
 }
 
+@manual{Folly,
+    keywords	= {Folly},
+    contributer	= {pabuhr@plg},
+    author	= {Folly},
+    title	= {Facebook Open-source Library},
+    organization= {Facebook},
+    address	= {\href{https://github.com/facebook/folly}{https://\-github.com/\-facebook/\-folly}},
+    year	= 2018,
+}
+
 @manual{Fortran95,
     keywords	= {Fortran 95},
@@ -3107,4 +3135,15 @@
     address	= {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
     year	= 2010,
+}
+
+@manual{Fortran18,
+    keywords	= {ISO/IEC Fortran 10},
+    contributer	= {pabuhr@plg},
+    author	= {Fortran18},
+    title	= {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2018},
+    edition	= {4rd},
+    publisher	= {International Standard Organization},
+    address	= {\href{https://www.iso.org/standard/72320.html}{https://\-www.iso.org/\-standard/\-72320.html}},
+    year	= 2018,
 }
 
@@ -3356,5 +3395,4 @@
     year	= 2014,
     howpublished= {https://developer.gnome.org/gobject/stable/},
-    optnote	= {Accessed: 2017-04},
 }
 
@@ -3671,4 +3709,16 @@
     year	= {1964},
     publisher	= {ACM}
+}
+
+@phdthesis{Barghi18,
+    keywords	= {concurrency, user threads, actors},
+    contributer	= {pabuhr@plg},
+    author	= {Saman Barghi},
+    title	= {Improving the Performance of User-level Runtime Systems for Concurrent Applications},
+    school	= {School of Computer Science, University of Waterloo},
+    year	= 2018,
+    month	= sep,
+    optaddress	= {Waterloo, Ontario, Canada, N2L 3G1},
+    note	= {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
 }
 
@@ -3998,4 +4048,25 @@
     year	= 2015,
     edition	= {{J}ava {SE} 8},
+}
+
+@manual{Java11,
+    keywords	= {Java SE 11},
+    contributer	= {pabuhr@plg},
+    author	= {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley and Daniel Smith},
+    title	= {{Java} Language Specification},
+    publisher	= {Oracle},
+    month	= sep,
+    year	= 2018,
+    edition	= {{J}ava {SE} 11},
+}
+
+@manual{JDK1.1,
+    keywords	= {JDK 1.1},
+    contributer	= {pabuhr@plg},
+    author	= {{Multithreading Models}},
+    title	= {JDK 1.1 for Solaris Developer's Guide},
+    publisher	= {Oracle},
+    address	= {\href{https://docs.oracle.com/cd/E19455-01/806-3461/6jck06gqk/index.html#ch2mt-41}{https://\-docs.oracle.com/\-cd/\-E19455-01/\-806-3461/\-6jck06gqk/\-index.html\#ch2mt-41}},
+    year	= 2010,
 }
 
@@ -4179,4 +4250,15 @@
 }
 
+@manual{libmill,
+    keywords	= {libmill},
+    contributer	= {pabuhr@plg},
+    author	= {libmill},
+    title	= {{G}o-style concurrency in {C}, Version 1.18},
+    organization= {libmill},
+    address	= {\href{http://libmill.org/documentation.html}{http://\-libmill.org/\-documentation.html}},
+    month	= jan,
+    year	= 2017,
+}
+
 @book{Weissman67,
     keywords	= {lisp},
@@ -4224,4 +4306,13 @@
     pages	= {161-169},
     note	= {Proceedings of the {SIGPLAN}~'89 Conference on Programming Language Design and Implementation}
+}
+
+@manual{Lua,
+    keywords	= {Lua},
+    contributer	= {pabuhr@plg},
+    author	= {Lua},
+    title	= {Lua 5.3 Reference Manual},
+    address	= {\href{https://www.lua.org/manual/5.3}{https://\-www.lua.org/\-manual/\-5.3}},
+    year	= 2018,
 }
 
@@ -4566,4 +4657,18 @@
 }
 %    editor	= {Allen Kent and James G. Williams},
+
+@incollection{MPC,
+    keywords	= {user-level threading},
+    contributer	= {pabuhr@plg},
+    author	= {Marc P\'erache and Herv\'e Jourdren and Raymond Namyst},
+    title	= {MPC: A Unified Parallel Runtime for Clusters of {NUMA} Machines},
+    booktitle	= {Euro-Par 2008},
+    pages	= {329-342},
+    publisher	= {Springer},
+    address	= {Berlin, Heidelberg},
+    year	= 2008,
+    volume	= 5168,
+    series	= {Lecture Notes in Computer Science},
+}
 
 @manual{MPI,
@@ -4992,5 +5097,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}
 }
 
@@ -5002,5 +5106,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}
 }
 
@@ -5515,5 +5618,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}
 }
 
@@ -5839,4 +5941,15 @@
     address	= {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
     year	= 2014,
+}
+
+@manual{C++17,
+    keywords	= {ISO/IEC C++ 17},
+    contributer	= {pabuhr@plg},
+    key		= {C++17},
+    title	= {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2017},
+    edition	= {5th},
+    publisher   = {International Standard Organization},
+    address	= {\href{https://www.iso.org/standard/68564.html}{https://\-www.iso.org/\-standard/\-68564.html}},
+    year	= 2017,
 }
 
@@ -5992,5 +6105,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
@@ -6049,7 +6163,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
@@ -6101,16 +6217,37 @@
 }
 
+@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}},
+}
+
 @manual{Python,
     keywords	= {Python},
     contributer	= {pabuhr@plg},
-    title	= {Python Reference Manual, Release 2.5},
-    author	= {Guido van Rossum},
+    author	= {Python},
+    title	= {Python Language Reference, Release 3.7.2},
     organization= {Python Software Foundation},
-    month	= sep,
-    year	= 2006,
-    note	= {Fred L. Drake, Jr., editor},
+    address	= {\href{https://docs.python.org/3/reference/index.html}{https://\-docs.python.org/\-3/\-reference/\-index.html}},
+    year	= 2018,
 }
 
 % Q
+
+@inproceedings{Qthreads,
+    keywords	= {user-level threading},
+    author	= {Kyle B. Wheeler and Richard C. Murphy and Douglas Thain},
+    title	= {Qthreads: An API for Programming with Millions of Lightweight Threads},
+    booktitle	= {International Symposium on Parallel and Distributed Processing},
+    organization= {IEEE},
+    address	= {Miami, FL, USA},
+    month	= apr,
+    year	= 2008,
+}
 
 @article{Grossman06,
@@ -6149,4 +6286,14 @@
 }
 
+@manual{Quasar,
+    keywords	= {Quasar},
+    contributer	= {pabuhr@plg},
+    author	= {Quasar},
+    title	= {Quasar Documentation, Release 0.8.0},
+    organization= {Parallel Universe},
+    address	= {\href{http://docs.paralleluniverse.co/quasar}{http://\-docs.paralleluniverse.co/\-quasar}},
+    year	= 2018,
+}
+
 % R
 
@@ -6262,4 +6409,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},
 }
 
@@ -6400,4 +6558,14 @@
 }
 
+@manual{Ruby,
+    keywords	= {Ruby},
+    contributer	= {pabuhr@plg},
+    author	= {Ruby},
+    title	= {Ruby Documentation, Release 2.6.0},
+    organization= {Python Software Foundation},
+    address	= {\href{https://www.ruby-lang.org/en/documentation}{https://\-www.ruby-lang.org/\-en/\-documentation}},
+    year	= 2018,
+}
+
 % S
 
@@ -7190,5 +7358,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)}},
 }
 
@@ -7522,5 +7697,4 @@
     year	= 2017,
     howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
-    optnote	= {Accessed: 2017-04}
 }
 
@@ -7696,4 +7870,19 @@
 % Y
 
+@article{Boehm12,
+    keywords	= {memory model, race condition},
+    contributer	= {pabuhr@plg},
+    author	= {Boehm, Hans-J. and Adve, Sarita V.},
+    title	= {You Don'T Know Jack About Shared Variables or Memory Models},
+    journal	= cacm,
+    volume	= 55,
+    number	= 2,
+    month	= feb,
+    year	= 2012,
+    pages	= {48--54},
+    publisher	= {ACM},
+    address	= {New York, NY, USA},
+}
+
 % Z