M. Moecke and J. Farines.
" Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análise", in <em>Anais do VI Simpósio Brasileiro de Engenharia de Software</em>, Gramado/RS, 1992, pp. 157-170, doi: <a href="https://doi.org/10.5753/sbes.1992.25181">https://doi.org/10.5753/sbes.1992.25181</a>.