Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 1f9a4d0ea5207988f1865f786e53bb8849f607b8)
+++ doc/bibliography/pl.bib	(revision 91571e51fbbd54c3310e740cc2fb3b8da3e53dfa)
@@ -990,4 +990,16 @@
 }
 
+@techreport{cfa-cc,
+    keywords	= {Cforall, cfa-cc, transpiler},
+    contributer	= {pabuhr@plg},
+    title	= {{\textsf{cfa-cc}} Developer's Reference Manual},
+    author	= {Fangren Yu},
+    institution	= {School of Computer Science},
+    address	= {University of Waterloo, Waterloo, Ontario, Canada},
+    month	= aug,
+    year	= {2020},
+    note	= {\href{https://cforall.uwaterloo.ca/doc/Fangren_Yu_Report_S20.pdf}{https://\-cforall.uwaterloo.ca/\-doc/\-Fangren\_Yu\_Report\_S20.pdf}},
+}
+
 @article{Moss18,
     keywords	= {type systems, polymorphism, tuples, Cforall},
@@ -1040,5 +1052,5 @@
     keywords 	= {type system, generic type, resolution algorithm, type environment, Cforall},
     author	= {Aaron Moss},
-    title	= {\textsf{C}$\mathbf{\forall}$ Type System Implementation},
+    title	= {\textsf{C}\,$\mathbf{\forall}$ Type System Implementation},
     school	= {School of Computer Science, University of Waterloo},
     year	= 2019,
@@ -1161,8 +1173,8 @@
     keywords	= {ctrie, concurrent map},
     contributer = {a3moss@uwaterloo.ca}, 
-    title	={Cache-aware lock-free concurrent hash tries},
-    author	={Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
-    institution	={EPFL},
-    year	={2011}
+    title	= {Cache-aware lock-free concurrent hash tries},
+    author	= {Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
+    institution	= {EPFL},
+    year	= {2011}
 }
 
@@ -3928,5 +3940,5 @@
     school	= {School of Computer Science, University of Waterloo},
     year	= 2003,
-    address	= {Waterloo, Ontario, Canada, N2L 3G1},
+    optaddress	= {Waterloo, Ontario, Canada, N2L 3G1},
     note	= {\href{http://plg.uwaterloo.ca/theses/BilsonThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-BilsonThesis.pdf}},
 }
@@ -5210,4 +5222,14 @@
 }
 
+@manual{gcc-nested-func,
+    keywords	= {gcc nested functions},
+    contributer	= {pabuhr@plg},
+    key		= {gcc nested functions},
+    title	= {Nested Functions},
+    organization= {{gcc} 9.3 Manual},
+    year	= 2019,
+    note	= {\href{https://gcc.gnu.org/onlinedocs/gcc-9.3.0/gcc/Nested-Functions.html}{https://\-gcc.gnu.org/\-onlinedocs/\-gcc-9.3.0/\-gcc/\-Nested-Functions.html}},
+}
+
 @article{Haddon77,
     keywords	= {monitors, nested monitor calls},