@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="LMS:mst" or $key="Thomas:tapsoft97" or $key="Courcelle:HB97" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{lncs = {Lecture Notes in Computer Science}}

@article{LMS:mst,
  author = {Igor Litovski and Yves M{\'e}tivier and Eric Sopena},
  title = {Definitions and Comparisons of Local Computations on Graphs},
  journal = {Mathematical Systems Theory},
  year = {to appear},
  note = {Available as internal report 91-43 of LaBRI, University of Bordeaux 1}
}

@inproceedings{Thomas:tapsoft97,
  author = {Wolfgang Thomas},
  title = {Automata Theory On Trres And Partial Orders},
  booktitle = {Theory and Practice of Software Development},
  series = lncs,
  volume = 1214,
  year = 1997,
  pages = {20--38}
}

@incollection{Courcelle:HB97,
  author = {Bruno Courcelle},
  title = {The Expression Of Graph Properties And Graph Transformations
			 In Monadic Second-Order Logic},
  chapter = 5,
  booktitle = {Handbook of graph  grammars and computing by
			graph transformations, vol.~1: Foundations},
  editor = {G. Rozenberg},
  publisher = {World Scientific},
  address = {New-Jersey, London},
  year = 1997,
  pages = {313--400}
}