@article {j:KarsaiJUCS,
	title = {On the Use of Graph Transformation in the Formal Specification of Model Interpreters},
	journal = {Journal of Universal Computer Science},
	volume = {9},
	number = {11},
	year = {2003},
	month = {November},
	pages = {1296{\textendash}1321},
	url = {http://www.jucs.org/jucs_9_11/on_the_use_of/Karsai_G.pdf},
	author = {G{\'a}bor Karsai and Aditya Agrawal and Feng Shi and Jonathan Sprinkle}
}
