%0 Journal Article %J Journal of Universal Computer Science %D 2003 %T On the Use of Graph Transformation in the Formal Specification of Model Interpreters %A Gábor Karsai %A Aditya Agrawal %A Feng Shi %A Jonathan Sprinkle %B Journal of Universal Computer Science %V 9 %P 1296–1321 %8 November %G eng %U http://www.jucs.org/jucs_9_11/on_the_use_of/Karsai_G.pdf