@Unpublished{chalub-braga:manuscript,
  author = 	 {Fabricio Chalub and Christiano Braga},
  title = 	 {Implementing Modular SOS in Maude},
  note = 	 {\url{http://www.ic.uff.br/~cbraga/losd/publications}},
  OPTkey = 	 {},
  OPTmonth = 	 {},
  OPTyear = 	 {},
  OPTannote = 	 {}
}


@InProceedings{meseguerBraga:AMAST04,
  author = 	 {Jos\'e Meseguer and Christiano Braga},
  title = 	 {Modular Rewriting Semantics of Programming Languages},
  booktitle =    {In Algebraic Methodology and Software Technology: proceedings of
                  the 10th International Conference, AMAST 2004},
  pages = 	 {364-378},
  year = 	 {2004},
  editor = 	 {Charles Rattray and Savitri Maharaj  and Carron Shankland},
  volume = 	 {3116},
  series = 	 {LNCS},
  address = 	 {Stirling, Scotland, UK},
  month = 	 {July},
  publisher =    {Springer},
  note = 	 {ISSN 0302-9743, ISBN 3-540-22381-9}
}


@Article{chalubBraga:mrs-cml04,
  author =       "Fabricio Chalub and Christiano Braga",
  title =        "{A Modular Rewriting Semantics for CML}",
  journal =      "Journal of Universal Computer Science",
  year =         "2004",
  volume =       "10",
  number =       "7",
  pages =        "789--807",
  month =        jul,
  note =         "\path|http://www.jucs.org/jucs_10_7/a_modular_rewriting_semantics|"}


@Article{bragaMeseguer:WRLA04,
  author = 	 {Christiano Braga and Jos\'e Meseguer},
  title = 	 {Modular Rewriting Semantics in Practice},
  booktitle =    {Proceedings of 5th International Workshop on Rewriting
                  Logic and its Applications, WRLA 2004}, 
  pages =        {393-416}
  year = 	 {2005},
  editor = 	 {Narciso Mart\'i-Oliet},
  journal  = 	 {Electronic Notes in Theoretical Computer Science},
  volume =       {117},
  publisher =    {Elsevier}
}


@InProceedings{bhmm:lopstr02,
  author =       {Christiano Braga and Edward Hermann Haeusler 
                  and Jos\'e Meseguer and Peter D. Mosses},
  title =        {Mapping Modular SOS to Rewriting Logic},
  booktitle =    {Proceedings of 12th International Workshop, LOPSTR 2002, Madrid, Spain},
  pages =        {262-277},
  year =         {2002},
  editor =       {Michael Leuschel},
  volume =       {2664},
  series =       {Lecture Notes in Computer Science},
  month =        {September},
  publisher =    {Springer},
  note =         {http://link.springer-ny.com/link/service/series/0558/bibs/2664/26640262.htm}
}