some entries in gf-bib

1 files changed, 23 insertions, 9 deletions

diff --git a/doc/gf-bib.bib b/doc/gf-bib.bib
index 629e279a7..70ce4d7b7 100644
--- a/doc/gf-bib.bib
+++ b/doc/gf-bib.bib
@@ -87,7 +87,7 @@
         YEAR    = {1984},
         PUBLISHER = {Bibliopolis}
 }
-@BOOK{curry,
+@BOOK{curryfeys,
     AUTHOR = "Curry, H. B. and R. Feys",
     TITLE = "Combinatory Logic, Vol. 1",
     PUBLISHER = {North-Holland},
@@ -708,6 +708,15 @@
   year =	 {2000}
 }
 
+@InProceedings{butt,
+  author = 	 {M. Butt and H. Dyvik and T. Holloway King and  H. Masuichi 
+                  and C. Rohrer},
+  title = 	 {{The Parallel Grammar Project}},
+  booktitle = {{COLING 2002, Workshop on Grammar Engineering and Evaluation}},
+  pages =        {1--7},
+  year =	 {2002}
+}
+
 @InProceedings{GF-Alfa,
   author = 	 {T.\ Hallgren and A.\ Ranta},
   title = 	 {An Extensible Proof Text Editor},
@@ -720,6 +729,19 @@
   pages =        {70--84}
 }
 
+@InProceedings{burke-johannisson,
+  author = 	 {D. A. Burke and K. Johannisson},
+  title = {{Translating Formal Software Specifications to Natural 
+    Language / A Grammar-Based Approach}},
+  booktitle = 	 {{Logical Aspects of Computational Linguistics (LACL 2005)}},
+  editor =       {{P. Blache and E. Stabler and J. Busquets and R. Moot}},
+  year =	 {2005},
+  series =	 {{LNCS/LNAI}},
+  volume =       {3402},
+  pages =        {51--66},
+  publisher =    {Springer}
+}
+
 @InProceedings{FASE,
   author = 	 {R.\ Hähnle and K.\ Johannisson and A.\ Ranta},
   title = {{An Authoring Tool for Informal and Formal Requirements Specifications}},
@@ -1130,14 +1152,6 @@
 	PUBLISHER = {Bibliopolis}
 }
 
-@book{montague,
-	AUTHOR	= {R.\ Montague},
-	TITLE	= {{Formal Philosophy}},
-	ADDRESS = {New Haven},
-	YEAR	= {1974},
-	NOTE	= {Collected papers edited by R.\ Thomason},
-	PUBLISHER = {Yale University Press}
-}
 
 @misc{alfa-homepage,
 		  author = {T. Hallgren},