new bib items

doc/gf-bib.bib

@@ -2368,3 +2368,53 @@ Book{GoldbergRubin95,
 	 PUBLISHER = {???},
 	 YEAR = {???}
  }
+
+@Article{Parnas,
+  author =       {D. Parnas},
+  title =        {{On the Criteria To Be Used in Decomposing Systems into Modules}},
+  journal =      {{Communications of the ACM}},
+  volume =       {15},
+  pages =        {1053--1058},
+  year =         {1972}
+}
+
+@Article{ranta:compsem,
+  author =       {A. Ranta},
+  title =        {{Computational Semantics in Type Theory}},
+  journal =      {{Mathematics and Social Sciences}},
+  volume =       {165},
+  pages =        {31--57},
+  year =         {2004}
+}
+
+
+@inproceedings{gf-esslli,
+	 AUTHOR = {A. Ranta},
+	 TITLE = {{Grammatical Framework Tutorial}},
+	 BOOKTITLE = {{ESSLLI 2003 Course Material I}},
+	 PUBLISHER = {{Kurt G\"odel Society}},
+         pages = {1--86},
+	 YEAR = {2004}
+ }
+
+@Article{mccarthy,
+  author =       {J. McCarthy},
+  title =        {{Recursive Functions of Symbolic Expressions and their
+                 Computation by Machine, part I}},
+  journal =      {{Communications of the ACM}},
+  volume =       {3},
+  pages =        {184--195},
+  year =         {1960}
+}
+
+
+@inproceedings{bringert-speechgram,
+	 AUTHOR = {B. Bringert},
+	 TITLE = {{Speech Recognition Grammar Compilation in Grammatical Framework}},
+	 BOOKTITLE = 
+           {{SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing, 
+             29 June 2007, Prague}},
+	 YEAR = {2007}
+}
+
+