Ribeiro, L., & Korff, M. 1997 out 15. Graph Grammars for the Specification of Concurrent Systems. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :