Ribeiro, Leila, Hartmut Ehrig, and Julia Padberg.
" Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations." <em>Anais do VII Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 1993</em>. SBC, 1993,  
pp.1-16.