Ribeiro, Leila, E Korff, Martin. " Graph Grammars for the Specification of Concurrent Systems" Anais do SimpĆ³sio Brasileiro de Engenharia de Software (SBES) [Online], (15 outubro 1997)