Ribeiro, Leila, AND Korff, Martin. " Graph Grammars for the Specification of Concurrent Systems" Proceedings of the Brazilian Symposium on Software Engineering (SBES) [Online], (15 October 1997)