Aguilar, M..
"Uma Experiência de Especificação Formal de Sistemas Multiprocessadores por Redes de Petri." <em>Anais do I Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo,
Gramado/RS, 1987</em>. SBC, 1987,  
pp.217-230.