Sandra Fabbri, José Maldonado, Paulo Masiero, and Márcio Delamaro. 1994.
 Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri. In <em>Anais do VIII Simpósio Brasileiro de Engenharia de Software</em>, outubro 26, 1994, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 423-437. DOI: <a href="https://doi.org/10.5753/sbes.1994.24482">https://doi.org/10.5753/sbes.1994.24482</a>.