@PhdThesis{Dmodalg_1999,
  author =       {Christiano de Oliveira Braga},
  title =       {Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics},
  school =        {Pontif{\'i}cia Universidade Cat{\'o}lica do Rio de Janeiro},
  year =         {2001},
}