1. Barbosa, P.E.S., Ramalho, F., de Figueiredo, J.C.A., dos, S., Junior, A.D., Costa, A., Gomes, L.: Checking semantics equivalence of MDA transformations in concurrent systems. The Journal of Universal Computer Science 11, 2196–2224 (2009)
2. Lecture Notes in Computer Science;L. Baresi,2007
3. Lecture Notes in Computer Science;D. Bisztray,2008
4. Ehrig, H., König, B.: Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. MSCS 16(6), 1133–1163 (2006)
5. Lecture Notes in Computer Science;G. Engels,2008