@article{OrdonezCamacho2006121,
  title = {Automated Derivation of Translators From Annotated Grammars},
  author = {Diego Ordonez Camacho and Kim Mens and Mark G. J. van den Brand and Jurgen J.  Vinju},
  year = {2006},
  url = {http://www.sciencedirect.com/science/article/B75H1-4M59GXV-B/2/83b4a65e7076a334c1c86ca9b5730aee},
  note = {Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006)},
  tags = {programming languages, model-to-model transformation, intermediate representation, translation, operations languages, SDF, XML, XML Schema, transformation language, source-to-source, model transformation, DSL, metaprogramming, systematic-approach, ASF+SDF, open-source, transformation, grammar, program transformation},
  researchr = {https://researchr.org/publication/OrdonezCamacho2006121},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {164},
  number = {2},
}

@article{CamachoMBV10,
  title = {Automated generation of program translation and verification tools using annotated grammars},
  author = {Diego Ordonez Camacho and Kim Mens and Mark G. J. van den Brand and Jurgen J.  Vinju},
  year = {2010},
  doi = {10.1016/j.scico.2009.10.003},
  url = {http://dx.doi.org/10.1016/j.scico.2009.10.003},
  tags = {translation, program verification, grammar},
  researchr = {https://researchr.org/publication/CamachoMBV10},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {75},
  number = {1-2},
  pages = {3-20},
}