G.  Karsai, Agrawal, A., Shi, F., and Sprinkle, J., ?On the Use of Graph Transformation in the Formal Specification of Model Interpreters?, Journal of Universal Computer Science, vol. 9, pp. 1296?1321, 2003.