Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 1f8865eb3e0f295559471594c9343e714eb450dd)
+++ doc/bibliography/pl.bib	(revision cfc3e0facc59b4b72c5c4ade00f35a2478f94cf2)
@@ -40,4 +40,12 @@
 % @string{mathann="Math. Ann."}
 
+@misc{CFAStackEvaluation,
+    author	= {Aaron Moss},
+    title	= {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
+    year	= 2018,
+    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/evaluation.zip}{https://plg.uwaterloo.ca/\-\-$\sim$cforall/\-StackEvaluation.zip}},
+    optnote	= {[Accessed May 2018]},
+}
+
 % A
 
@@ -782,5 +790,5 @@
     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}}},
-    note	= {Accessed: 2016-09},
+    optnote	= {Accessed: 2016-09},
 }
 
@@ -855,10 +863,10 @@
     keywords	= {ANSI C 89},
     contributer	= {gjditchfield@plg},
-    title	= {American National Standard for Information Systems -- Programming Language -- {C}},
+    author	= {C90},
+    title	= {Programming Languages -- {C}},
     organization= {American National Standards Institute},
-    address	= {1430 Broadway, New York, New York  10018},
-    month	= dec,
-    year	= 1989,
-    note	= {X3.159-1989}
+    address	= {New York, NY, U.S.A.},
+    year	= 1990,
+    note	= {ANSI/ISO 9899-1990}
 }
 
@@ -888,5 +896,5 @@
     title	= {\textsf{C}{$\mathbf{\forall}$} Features},
     howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
-    note	= {Accessed: 2018-01-01},
+    optnote	= {Accessed: 2018-01-01},
 }
 
@@ -1640,4 +1648,16 @@
 }
 
+@misc{Taylor10,
+    keywords	= {const, poisoning},
+    contributer	= {pabuhr@plg},
+    author	= {Ian Lance Taylor},
+    title	= {const},
+    month	= oct,
+    year	= 2010,
+    howpublished= {\href{https://www.airs.com/blog/archives/428}
+		  {https://www.airs.com/\-blog/\-archives/\-428}},
+    optnote	= {Accessed: 2018-05},
+}
+
 @phdthesis{Ditchfield92,
     keywords	= {C, parametric polymorphism, overloading},
@@ -2755,10 +2775,10 @@
 @misc{GCCExtensions,
     contributer	= {a3moss@uwaterloo.ca},
-    key		= {{GNU}},
+    key		= {C Extensions},
     author	= {{C Extensions}},
     title	= {Extensions to the {C} Language Family},
     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}},
-    note	= {Accessed: 2017-04-02},
+    optnote	= {Accessed: 2017-04-02},
 }
 
@@ -3137,5 +3157,5 @@
     year	= 2014,
     howpublished= {https://developer.gnome.org/gobject/stable/},
-    note	= {Accessed: 2017-04},
+    optnote	= {Accessed: 2017-04},
 }
 
@@ -3209,4 +3229,14 @@
 
 % H
+
+@manual{Haskell10,
+    keywords	= {Haskell},
+    contributer	= {pabuhr@plg},
+    author	= {Haskell},
+    title	= {Haskell 2010 Language Report},
+    edition	= {{S}imon {M}arlow},
+    year	= 2010,
+    note	= {\href{https://haskell.org/definition/haskell2010.pdf}{https://haskell.org/\-definition/\-haskell2010.pdf}},
+}
 
 @article{Michael04a,
@@ -3760,5 +3790,5 @@
     keywords	= {concurrency, critical section},
     contributer	= {pabuhr@plg},
-    author	= {Dominic Duggan and Gordon V. Cormack and John Ophel},
+    author	= {Dominic Duggan and G. V. Cormack and John Ophel},
     title	= {Kinded Type Inference for Parametric Overloading},
     journal	= acta,
@@ -4685,5 +4715,5 @@
     year	= 2015,
     howpublished= {\href{https://developer.apple.com/library/content/documentation/General/Conceptual/DevPedia-CocoaCore/ObjectiveC.html}{https://developer.apple.com/\-library/\-content/\-documentation/\-General/\-Conceptual/\-DevPedia-\-CocoaCore/\-ObjectiveC.html}},
-    note	= {Accessed: 2018-03}
+    optnote	= {Accessed: 2018-03}
 }
 
@@ -4695,5 +4725,5 @@
     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}},
-    note	= {Accessed: 2017-04}
+    optnote	= {Accessed: 2017-04}
 }
 
@@ -5757,5 +5787,5 @@
     keywords	= {Cyclone, existential types, polymorphism, type variables},
     contributer	= {a3moss@plg},
-    author	= {Dan Grossman},
+    author	= {D. Grossman},
     title	= {Quantified Types in an Imperative Language},
     journal	= toplas,
@@ -6762,5 +6792,5 @@
     title	= {{TIOBE} Index},
     howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
-    note	= {Accessed: 2018-09},
+    optnote	= {Accessed: 2018-09},
 }
 
@@ -7087,5 +7117,5 @@
     year	= 2017,
     howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
-    note	= {Accessed: 2017-04}
+    optnote	= {Accessed: 2017-04}
 }