S. Fabbri, J. Maldonado, P. Masiero, and M. Delamaro.
" 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>, Curitiba/PR, 1994, pp. 423-437, doi: <a href="https://doi.org/10.5753/sbes.1994.24482">https://doi.org/10.5753/sbes.1994.24482</a>.