diff -r fc22ca36325c -r f1d800062d4f thys/Paper/document/root.bib
--- a/thys/Paper/document/root.bib	Mon May 09 15:01:31 2016 +0100
+++ b/thys/Paper/document/root.bib	Wed May 11 12:20:16 2016 +0100
@@ -1,3 +1,14 @@
+
+
+
+@TechReport{CrashCourse2014,
+  author =       {N.~B.~B.~Grathwohl and F.~Henglein and U.~T.~Rasmussen},
+  title =        {{A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and {R}egular 
+                  {E}xpressions as {T}ypes},
+  institution =  {University of Copenhagen},
+  year =         {2014},
+  annote =       {draft report}
+}
 
 @inproceedings{Sulzmann2014,
   author    = {M.~Sulzmann and K.~Lu},