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