L. Ribeiro, F. Dotti, S. da Costa, and F. Dillenburg, “Towards Theorem Proving Graph Grammars using Event-B”, eceasst, vol. 30, Nov. 2010.