@phdthesis{ljunglof04:phd,
  author = 	 {Peter Ljunglöf},
  title = 	 {Expressivity and Complexity of the Grammatical Framework},
  school = 	 {Göteborg University},
  address = 	 {Gothenburg, Sweden},
  month = 	 {November},
  year = 	 {2004},
}

@article{ranta04:GF,
  author = {Aarne Ranta},
  title = {Grammatical {F}ramework, a Type-Theoretical Grammar Formalism},
  journal = {The Journal of Functional Programming},
  year = {2004},
  volume = {14},
  number = {2},
  pages = {145--189},
}

@article{ljunglof04:jfp,
  author =  {Peter Ljunglöf},
  title =   {Functional chart parsing of context-free grammars},
  journal = {The Journal of Functional Programming},
  year =    {2004},
  volume =  {14},
  number =  {6},
  pages =   {669--680},
}

@article{OAA99,
  AUTHOR={Martin, David L. and Cheyer, Adam J. and Moran, Douglas B.},
  TITLE={The {O}pen {A}gent {A}rchitecture: A Framework for Building 
         Distributed Software Systems},
  JOURNAL={Applied Artificial Intelligence},
  PAGES={91--128},
  MONTH={January--March},
  NUMBER={1--2},
  VOLUME={13},
  YEAR={1999},
}

@manual{dotguide,
    author =       {Eleftherios Koutsofios and Stephen C. North},
    title =        {Drawing graphs with dot},
    organization = {AT\&T Bell Laboratories},
    address =      {Murray Hill, NJ},
    url =          {http://www.research.att.com/sw/tools/graphviz/dotguide.ps.gz},
}

@misc{janna:lic,
  author = 	 {Janna Khegai},
  title = 	 {Language Engineering in {G}rammatical {F}ramework},
  howpublished = {Licentiate Thesis, Chalmers University of Technology, 
                  Gothenburg, Sweden},
  school = 	 {Chalmers University of Technology},
  address = 	 {Gothenburg, Sweden},
  year = 	 {2003},
  url =          {http://www.cs.chalmers.se/~janna/lic.pdf},
}

@manual{FreeTTSAgent,
  author =       {Håkan Burden},
  title =        {{FreeTTS} Agent for {OAA}},
  organization = {Göteborg University},
  address = 	 {Gothenburg, Sweden},
  note =         {\url{http://www.ling.gu.se/projekt/talk/software/reports/freeTTSAgentReport.pdf}},
  url =          {http://www.ling.gu.se/projekt/talk/software/reports/freeTTSAgentReport.pdf},
}

@manual{NuanceWrapper,
  author =       {David Hjelm},
  title =        {{N}uance{W}rapper manual},
  organization = {Göteborg University},
  address = 	 {Gothenburg, Sweden},
  month = 	 {June},
  year = 	 {2004},
  url =          {http://prdownloads.sourceforge.net/trindikit/trindikit-3.1.0-pdf-documentation.zip},
}

@misc{talk-d1.2a,
  author = {Björn Bringert and Robin Cooper and Peter Ljunglöf and Aarne Ranta},
  title  = {Development of multimodal and multilingual grammars: 
            viability and motivation},
  howpublished = {Deliverable D1.2a, TALK Project, IST-507802},
  month = {December},
  year = {2004}
}

@misc{JSGF,
  title = {{JS}peech {G}rammar {F}ormat},
  author = {Andrew Hunt},
  organization = {Sun Microsystems, Inc.},
  howpublished = {W3C Note},
  month = {June},
  year = {2000},
  url = {http://www.w3.org/TR/2000/NOTE-jsgf-20000605/}
}

@manual{JSAPI-guide,
  title = {{J}ava {S}peech {API} {P}rogrammer's {G}uide},
  organization = {Sun Microsystems, Inc.},
  month = {October},
  year = {1998},
  url = {http://java.sun.com/products/java-media/speech/forDevelopers/jsapi-guide/index.html}
}

@manual{JSAPI,
  title = {{J}ava {S}peech {API} {S}pecification},
  organization = {Sun Microsystems, Inc.},
  year = {1998},
  url = {http://java.sun.com/products/java-media/speech/forDevelopers/jsapi-doc/index.html}
}

@misc{SRGS,
  title = {Speech Recognition Grammar Specification Version 1.0},
  howpublished = {W3C Recommendation},
  month = {March},
  year = {2004},
  url = {http://www.w3.org/TR/speech-grammar/}
}

@manual{GPL,
  title = {{GNU} {G}eneral {P}ublic {L}icense},
  organization = {Free Software Foundation, Inc.},
  month = {June},
  year = {1991},
  note = {\url{http://www.fsf.org/licenses/gpl.txt}},
  url = {http://www.fsf.org/licenses/gpl.txt}
}

@inproceedings{moore:left-recursion,
 author = {Robert C. Moore},
 title = {Removing left recursion from context-free grammars},
 booktitle = {Proceedings of the first meeting of the North American chapter of the Association for Computational Linguistics},
 year = {2000},
 pages = {249--255},
 location = {Seattle, Washington},
 publisher = {Morgan Kaufmann Publishers Inc.},
 url = {http://research.microsoft.com/users/bobmoore/naacl2k-proc-rev.pdf}
}

@misc{numerals-grammars,
  title = {{C}ardinal {N}umerals {R}evisited in {GF}},
  author = {Harald Hammarström and Aarne Ranta},
  howpublished = {Abstract accepted to Workshop on Numerals in the World's Languages, Dept. of Linguistics Max Planck Institute for Evolutionary Anthropology, Leipzig, Germany},
  month = {March},
  year = {2004},
  url = {http://www.cs.chalmers.se/~harald2/numabstract.pdf}
}

@inproceedings{hahnle02authoring,
    Author = {Reiner H\"{a}hnle and Kristofer Johannisson and Aarne Ranta},
    Booktitle = {Fundamental Approaches to Software Engineering},
    Editor = {R.-D. Kutsche and H. Weber},
    Number = {2306},
    Series = {LNCS},
    Title = {An Authoring Tool for Informal and Formal Requirements Specifications},
    Year = {2002},
    url= {http://link.springer.de/link/service/series/0558/bibs/2306/23060233.htm}
}

@inproceedings{janna:syntax-editing,
  author    = {Janna Khegai and
               Bengt Nordstr{\"o}m and
               Aarne Ranta},
  title     = {Multilingual Syntax Editing in {GF}},
  booktitle = {CICLing},
  year      = {2003},
  pages     = {453--464},
  url        = {http://link.springer.de/link/service/series/0558/bibs/2588/25880453.htm},
}

@mastersthesis{burke:gf-ocl,
  title = {Improving the natural language translation
           of formal software specifications},
  author = {David A. Burke},
  school = {Chalmers University of Technology},
  address = {Gothenburg, Sweden},
  month = {December},
  year = {2004},
  url = {http://www.cs.chalmers.se/~krijo/gfspec/burke/doc/DABurke-MScThesis.pdf}
}

@unpublished{ccg:intro,
  title = {A Very Short Introduction to {CCG}},
  author = {Mark Steedman},
  month = {November},
  year = {1996},
  note = {\url{ftp://ftp.cis.upenn.edu/pub/steedman/ccg/ccgintro.ps.gz}},
  url = {ftp://ftp.cis.upenn.edu/pub/steedman/ccg/ccgintro.ps.gz}
}

@inproceedings{baldridge:mmccg,
  title = {Multi-Modal Combinatory Categorial Grammar},
  author = {Jason Baldridge and Geert-Jan M. Kruijff},
  booktitle = {Proceedings of EACL'03: 10th Conference of the 
               European Chapter of the Association for Computational Linguistics},
  year = {2003},
  location = {Budapest, Hungary},
  url = {http://homepages.inf.ed.ac.uk/jbaldrid/mmccg.pdf}
}

@misc{openccg,
  title = {{T}he {O}pen{CCG} {H}omepage},
  note = {\url{http://openccg.sourceforge.net/}},
  url = {http://openccg.sourceforge.net/}
}

@inproceedings{johnston:mm-parsing,
 author = {Michael Johnston},
 title = {Unification-based multimodal parsing},
 booktitle = {Proceedings of the 36th conference on Association for Computational Linguistics},
 year = {1998},
 pages = {624--630},
 location = {Montreal, Quebec, Canada},
 publisher = {Association for Computational Linguistics},
 url = {http://www.cse.ogi.edu/CHCC/Publications/unification_based_multimodal_parsing_johnston.pdf}
}

@inproceedings{dowding01practical,
    author = {John Dowding and Beth Ann Hockey and Jean Mark Gawron and Christopher Culy},
    title = {Practical Issues in Compiling Typed Unification Grammars for Speech Recognition},
    booktitle = {Meeting of the Association for Computational Linguistics},
    pages = {164--171},
    year = {2001},
    url = {http://www.stanford.edu/~jdowding/pubs/acl2001.pdf}
}

@manual{atk,
  title = {{ATK} - {A}n {A}pplication {T}oolkit for {HTK}},
  author = {Steve Young},
  edition = {1.4.1},
  organization = {Machine Intelligence Laboratory, Cambridge University Engineering Dept},
  address = {Trumpington Street, Cambridge, CB2 1PZ, United Kingdom},
  year = {2004},
  month = {July},
  url = {http://mi.eng.cam.ac.uk/~sjy/ATK_Manual.pdf}
}

@misc{gramlets,
  title = {{GF} {G}ramlets},
  author = {Markus Forsberg and Kristofer Johannisson 
            and Janna Khegai and Aarne Ranta},
  note = {\url{http://www.cs.chalmers.se/~krijo/gramlets.html}},
  url = {http://www.cs.chalmers.se/~krijo/gramlets.html}
}

@article{larsson00:trindikit,
  author = {Staffan Larsson and David Traum},
  title = {Information state and dialogue management in the {TRINDI} 
           dialogue move engine toolkit},
  journal = {Natural Language Engineering Special Issue on 
             Best Practice in Spoken Language Dialogue Systems Engineering},
  year = {2000},
  pages = {323--340},
  url = {http://www.ling.gu.se/~sl/nle.ps},
}  

@misc{gf-java-api,
  title = {Embedded {GF} {I}nterpreter {J}ava {API}},
  author = {Björn Bringert},
  note = {\url{http://www.cs.chalmers.se/~bringert/gf/gf-java.html}},
  url = {http://www.cs.chalmers.se/~bringert/gf/gf-java.html},
}

@article{Knuth68:attribute-grammars,
  author    = {Donald E. Knuth},
  title     = {Semantics of Context-Free Languages.},
  journal   = {Mathematical Systems Theory},
  volume    = {2},
  number    = {2},
  year      = {1968},
  pages     = {127--145},
}

@article{Knuth71:attribute-grammars-corr,
  author    = {Donald E. Knuth},
  title     = {Correction: Semantics of Context-Free Languages.},
  journal   = {Mathematical Systems Theory},
  volume    = {5},
  number    = {1},
  year      = {1971},
  pages     = {95--96},
}

@book{MartinLofP:inttt,
  author        = {Per Martin-L{\"o}f},
  title		= {Intuitionistic Type Theory},
  publisher	= {Bibliopolis},
  address	= {Naples},
  year		= {1984}
}

@manual{jls:third,
  title = {{T}he {J}ava {L}anguage {S}pecification},
  author = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha},
  organization = {Sun Microsystems, Inc.},
  edition = {third},
  year = {2005},
  note = {Proposed third edition: \url{http://java.sun.com/docs/books/jls/java_language-3_0-mr-spec.zip}},
}

@article{coquand96algorithm,
  author = {Thierry Coquand},
  title = {An Algorithm for Type-Checking Dependent Types},
  journal = {Science of Computer Programming},
  volume = {26},
  number = {1--3},
  pages = {167--177},
  year = {1996},
  url = {http://www.cs.chalmers.se/~coquand/type.ps}
}

@inproceedings{forsberg03:bnfc,
  author = {Markus Forsberg and Aarne Ranta},
  title = {The {BNF} {C}onverter: A High-Level Tool for 
           Implementing Well-Behaved Programming Languages},
  booktitle = {NWPT'02 proceedings, Proceedings of the Estonian Academy of Sciences},
  year = {2003},
  month = {December},
  location = {Tallinn, Estonia},
  url = {http://www.cs.chalmers.se/~markus/BNFC/BNF_Report.ps.gz}
}

@manual{nuance:intro,
  title = {Nuance Speech Recognition System 8.5: Introduction to the {N}uance System},
  month = {December},
  year = {2003},
  organization = {Nuance Communications, Inc.},
  address = {Menlo Park, CA, USA}
}

@manual{nuance:grammar,
  title = {Nuance Speech Recognition System 8.5: Grammar Developer's Guide},
  month = {December},
  year = {2003},
  organization = {Nuance Communications, Inc.},
  address = {Menlo Park, CA, USA}
}

@manual{freetts:guide,
  title = {{FreeTTS} Programmer's Guide},
  year = {2003},
  organization = {Sun Microsystems, Inc.},
  url = {http://freetts.sourceforge.net/docs/ProgrammerGuide.html}
}

@incollection{johnson79yacc,
  author = {Steven C. Johnson},
  title = {Yacc: Yet Another Compiler Compiler},
  booktitle = {{UNIX} Programmer's Manual},
  volume = {2},
  publisher = {Holt, Rinehart, and Winston},
  address = {New York, NY, USA},
  pages = {353--387},
  year = {1979},
}

@misc{happy,
  title = {Happy: The Parser Generator for {H}askell},
  author = {Andy Gill and Simon Marlow},
  note = {\url{http://haskell.org/happy/}},
  url = {http://haskell.org/happy/},
}

@book{gamma95:patterns,
 author = {Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides},
 title = {Design patterns: elements of reusable object-oriented software},
 year = {1995},
 isbn = {0-201-63361-2},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
}

@book{hhgttg,
  title = {The Hitchhiker's Guide to the Galaxy},
  author = {Douglas Adams},
  month = {October},
  year = {1979},
  isbn = {0330258648},
  publisher = {Pan Macmillan},
}

@misc{gf-ide,
  author = {Janna Khegai},
  title = {{GF} {IDE} for {GF} 2.1},
  month = {January},
  year = {2005},
  note = {\url{http://www.cs.chalmers.se/~aarne/GF/GF-Doc/GF_IDE_manual/index.htm}},
  url = {http://www.cs.chalmers.se/~aarne/GF/GF-Doc/GF_IDE_manual/index.htm},
}

@misc{MapAgent,
  title = {{M}ap{A}gent},
  author = {Björn Bringert},
  month = {December},
  year = {2004},
  note = {\url{http://www.cs.chalmers.se/~bringert/gf/map-agent.html}},
  url = {http://www.cs.chalmers.se/~bringert/gf/map-agent.html},
}

@book{copestake:lkb,
  title = {Implementing Typed Feature Structure Grammars},
  author = {Ann Copestake},
  month = {December},
  year = {2001},
  publisher = {CSLI},
  address = {Stanford, CA, USA},
  isbn = {1575862611},
}

@misc{xle:homepage,
  title = {{X}erox {L}inguistics {E}nvironment Project},
  note = {\url{http://www2.parc.com/istl/groups/nltt/xle/}},
  url = {http://www2.parc.com/istl/groups/nltt/xle/},
}

@incollection{kaplan:lfg,
  title = {The formal architecture of Lexical-Functional Grammar},
  author = {Ronald M. Kaplan},
  booktitle = {Formal Issues in Lexical-Functional Grammar},
  editor = {John Maxwell and Ronald M. Kaplan 
            and Mary Dalrymple and Annie Zaenen},
  pages = {7--27},
  year = {1995},
  publisher = {CSLI},
  address = {Stanford, CA, USA},
}

@book{Pollard:Sag:94,
  title   = {Head-Driven Phrase Structure Grammar},
  author  = {Carl J. Pollard and Ivan A. Sag},
  publisher = {University of Chicago Press},
  address = {Chicago, IL, USA},
  year = {1994},
}

@book{verbmobil,
  title = 	{Verbmobil: Foundations of Speech-to-Speech Translation},
  editor = 	{Wolfgang Wahlster},
  publisher = 	{Springer-Verlag},
  year = 	{2000}
}

@inproceedings{RaynerHD03,
  author    = {Manny Rayner and Beth Ann Hockey and John Dowding},
  title     = {An Open-Source Environment for Compiling Typed Unification
               Grammars into Speech Recognisers},
  booktitle = {EACL},
  year      = {2003},
  pages     = {223--226},
  url       = {http://acl.ldc.upenn.edu/E/E03/E03-2010.pdf},
}

@article{dcg,
  title = {Definite Clauses for Language Analysis},
  authors = {Fernando C. N. Pereira and David H. D. Warren},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {13},
  pages = {231--278},
}


@InProceedings{dymetman:xml,
  author =       {M.\ Dymetman and V.\ Lux and A.\ Ranta},
  title =        {{XML} and Multilingual Document Authoring: Convergent Trends},
  booktitle =    {{COLING}, {Saarbr\"ucken}, {Germany}},
  pages =        {243--249},
  year =         {2000}
}

@InProceedings{GF-Alfa,
  author =       {T.\ Hallgren and A.\ Ranta},
  title =        {An Extensible Proof Text Editor},
  editor =       {M. Parigot and A. Voronkov},
  booktitle =    {{LPAR-2000}},
  year =         {2000},
  series =       {{LNCS/LNAI}},
  volume =       {1955},
  publisher =    {Springer},
  pages =        {70--84}
}

@inproceedings{burke:translating, 
  title = {Translating Formal Software Specifications to
           Natural Language --- A Grammar-Based Approach},
  author = {David A. Burke and Kristofer Johannisson},
  note = {To be published in proceedings of LACL'05},
}