Ribeiro, Leila, Hartmut Ehrig, and Julia Padberg.
" Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations." <em>Proceedings of the 7th Brazilian Symposium on Software Engineering,
Rio de Janeiro/RJ, 1993</em>. SBC, 1993,  
pp.1-16.