@article {3650,
	title = {On the Use of Graph Transformation in the Formal Specification of Model Interpreters},
	journal = {Journal of Universal Computer Science},
	volume = {9},
	year = {2003},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_0_0_2003_On_the_Use.pdf},
	author = {Karsai, Gabor and Agrawal, Aditya and Shi, Feng and Sprinkle, Jonathan}
}
