Ribeiro, L. (2010) “Towards Theorem Proving Graph Grammars using Event-B”, Electronic Communications of the EASST, 30. doi: 10.14279/tuj.eceasst.30.412.