@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} }