@article{819,
  author = {Gabor Karsai and Aditya Agrawal and Feng Shi and Jonathan Sprinkle},
  title = {On the Use of Graph Transformation in the Formal Specification of Model Interpreters},
  year = {2003},
  journal = {Journal of Universal Computer Science},
  volume = {9},
  language = {eng},
}