src/HOL/Lambda/document/root.bib

--- a/src/HOL/Lambda/document/root.bib	Thu Feb 10 17:08:45 2005 +0100
+++ b/src/HOL/Lambda/document/root.bib	Thu Feb 10 17:09:15 2005 +0100
@@ -9,3 +9,14 @@
   number =       1,
   pages =        {59--87}
 }
+
+@Article{Takahashi-IandC,
+  author = 	 {Masako Takahashi},
+  title = 	 {Parallel reductions in $\lambda$-calculus},
+  journal = 	 {Information and Computation},
+  year = 	 1995,
+  volume =	 118,
+  number =	 1,
+  pages =	 {120--127},
+  month =	 {April}
+}