Ribeiro, Leila, and Martin Korff.
" Graph Grammars for the Specification of Concurrent Systems." <em>Anais do XI Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1997</em>. SBC, 1997,  
pp.199-214.