--- a/document/root.bib	Tue Jan 08 01:21:02 2013 +0000
+++ b/document/root.bib	Wed Jan 09 13:35:09 2013 +0000
@@ -54,3 +54,15 @@
   series    = {LNCS},
   volume    = {6898}
 }
+
+
+@Article{Post36,
+  author =       {E.~Post},
+  title =        {{F}inite {C}ombinatory {P}rocesses-{F}ormulation 1},
+  journal =      {Journal of Symbolic Logic},
+  year =         {1936},
+  volume =       {1},
+  number =       {3},
+  pages =        {103--105}
+}
+