bib entries for the paper

1 files changed, 156 insertions, 12 deletions

diff --git a/doc/gf-bib.bib b/doc/gf-bib.bib
index 70ce4d7b7..180968084 100644
--- a/doc/gf-bib.bib
+++ b/doc/gf-bib.bib
@@ -18,19 +18,156 @@
 @STRING{sc = "Soft Computing---A Fusion of Foundations, Methodologies
 		  and Applications"}
 
-@article{KeY2004,
-   author        = {Wolfgang Ahrendt and Thomas Baar and
-                    Bernhard Beckert and Richard Bubel and
-                    Martin Giese and Reiner H\"ahnle and
-                    Wolfram Menzel and Wojciech Mostowski and
-                    Andreas Roth and Steffen Schlager and
-                    Peter H. Schmitt},
-   title         = {The {KeY} Tool},
-   journal       = {Software and System Modeling},
-   year          = {2004},
-   note          = {Online First issue, to appear in print}
+
+
+@INPROCEEDINGS{isar,
+  AUTHOR = {M. Wenzel},
+  TITLE = {{Isar - a Generic Interpretative Approach to Readable Formal Proof Documents}},
+  BOOKTITLE = {{Theorem Proving in Higher Order Logics, TPHOLs'99}},
+  YEAR = {2004},
+  series = lncs,
+  volume = {1690},
+  EDITOR = {Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin and L. Th\'{e}ry}
+}
+
+@INPROCEEDINGS{pollard-hog,
+  AUTHOR = {C. Pollard},
+  TITLE = {{Higher-Order Categorial Grammar}},
+                  {I}nterface},
+  BOOKTITLE = {{Proceedings of the 
+     Conference on Categorial Grammars (CG2004), Montpellier, France}},
+  PAGES = {340--361},
+  YEAR = {2004},
+  EDITOR = {M. Moortgat}
+}
+
+@INPROCEEDINGS{muskens-lg,
+  AUTHOR = {R. Muskens},
+  TITLE = {Lambda {G}rammars and the {S}yntax-{S}emantics
+                  {I}nterface},
+  BOOKTITLE = {Proceedings of the Thirteenth Amsterdam Colloquium},
+  PAGES = {150--155},
+  YEAR = {2001},
+  EDITOR = {van Rooy, R. and Stokhof, M.},
+  PS = {amscoll.ps},
+  PDF = {amscoll.pdf},
+  ADDRESS = {Amsterdam}
+}
+
+@inproceedings{degroote-acg,
+  title = {{Towards Abstract Categorial Grammars}},
+  author = {Ph. de Groote},
+  booktitle = {{Association for Computational Linguistics, 
+    39th Annual Meeting and 10th Conference of the European Chapter, Toulouse, France}},
+  pages = {148--155},
+  year = {2001}
+}
+
+@misc{talk-deliv,
+  author = {P. Ljunglöf and G. Amores and R. Cooper and D. Hjelm and O. Lemon and P. Manchón
+    and G. Pérez and A. Ranta},
+  year = 2006,
+  title = {{Multimodal Grammar Library}},
+  note = {{TALK. Talk and Look: 
+    Tools for Ambient Linguistic Knowledge. IST-507802. Deliverable 1.2b}}
+  }
+
+@INCOLLECTION{mar82,
+    AUTHOR = "{Martin-L\"{o}f}, Per",
+    TITLE = "Constructive mathematics and computer programming",
+    EDITOR = "Cohen and Los and Pfeiffer and Podewski",
+    BOOKTITLE = "Logic, Methodology and Philosophy of Science VI",
+    PUBLISHER = {North-Holland},
+    ADDRESS = {Amsterdam},
+    YEAR = {1982},
+    PAGES = {153-175}}
+
+
+@inproceedings{wiedijk,
+        AUTHOR = {F. Wiedijk},
+        BOOKTITLE = {{Types for Proofs and Programs}},
+        PUBLISHER = {Springer},
+        SERIES = {LNCS 3085},
+        editors = {S. Berardi and M. Coppo and F. Damiani},
+        PAGES = {378--393},
+        TITLE   = {{Formal Proof Sketches}}, 
+        YEAR = {2004}
+        }
+
+@inproceedings{bender,
+  author = {Bender, Emily M. and Flickinger, Dan},
+  title = {Rapid Prototyping of Scalable Grammars: 
+  Towards Modularity in Extensions to a Language-Independent Core},
+  booktitle = {Proceedings of the 2nd International Joint Conference on 
+   Natural Language Processing IJCNLP-05 (Posters/Demos)},
+  address = {Jeju Island, Korea},
+  year = 2005
+}
+
+@book{stroustrup,
+        AUTHOR  = {B. Stroustrup},
+        TITLE   = {{The C++ Programming Language, Third Edition}},
+        YEAR    = {1998},
+        PUBLISHER = {{Addison-Wesley}}
 }
 
+
+@techreport{bringert,
+  author = {B. Bringert},
+  title = {{Embedded Grammars}},
+  institution   = {Department of Computing Science, Chalmers University
+		   of Technology},
+  type          = {{MSc Thesis}},
+  year          = {2004}
+}
+
+@techreport{humayoun,
+  author = {M. Humayoun},
+  title = {{Urdu Morphology, Orthography and Lexicon Extraction}},
+  institution   = {Department of Computing Science, Chalmers University
+		   of Technology},
+  type          = {{MSc Thesis}},
+  year          = {2006}
+}
+
+
+@inproceedings{khegai-acl,
+  title = {{GF Parallel Resource Grammars and Russian}},
+  author = {J. Khegai},
+  booktitle = {{Coling/ACL 2006}},
+  pages = {475--482},
+  year = {2006}
+}
+
+@inproceedings{FM,
+  title = {{Functional Morphology}},
+  author = {M. Forsberg and A. Ranta},
+  booktitle = {{ICFP 2004, Showbird, Utah}},
+  pages = {213-223},
+  year = {2004}
+}
+
+@inproceedings{eldada,
+  title =  {{Implementing an Open Source Arabic Resource Grammar in GF}},
+  author = {{A. El Dada and A. Ranta}},
+  booktitle = {{20th Arabic Linguistics Symposium. Western Michigan University March 3-5 2006}}
+}
+
+@inproceedings{nganga-africa,
+  title = {{Multilingual content development for eLearning in Africa}},
+  author = {{W. Ng'ang'a}},
+  booktitle = {{1st Pan-African Conference on ICT for Development, Education and Training. 
+     24-26 May 2006, Addis Ababa, Ethiopia}}
+}
+
+@inproceedings{caprotti,
+  title = {{WebALT! Deliver Mathematics Everywhere}},
+  author = {{O. Caprotti}},
+  booktitle = {{Proceedings of SITE 2006. Orlando March 20-24, 2006}}
+}
+
+
+
 @ARTICLE{landin,
     AUTHOR = "P. Landin",
     TITLE = "The Next 700 Programming Languages",
@@ -545,6 +682,13 @@
   year =         {1998}
 }
 
+@Book{appel-java,
+  author =       {A. Appel},
+  title =        {{Modern Compiler Implementation in Java}},
+  publisher =    {Cambridge University Press},
+  year =         {1998}
+}
+
 @Book{prolog,
   author =       {W. F. Clocksin and C. S. Mellish},
   title =        {{Programming in Prolog}},
@@ -1234,7 +1378,7 @@
   title =	 {{The Mizar Homepage}},
   howpublished = {\verb!http://mizar.org/!},
   documentURL = "http://mizar.org/",
-  year =	 1999
+  year =	 {2006}
 }
 
 @Misc{ALF-family-homepage,