Ribeiro, L.; Dotti, F.; da Costa, S.; Dillenburg, F. Towards Theorem Proving Graph Grammars Using Event-B. eceasst 2010, 30.