Aguilar, M..
" Uma Experiência de Especificação Formal de Sistemas Multiprocessadores por Redes de Petri" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (13 maio 1987)