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)