Marcos Moecke and Jean Farines. 1992.
 Á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>, novembro 04, 1992, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 157-170. DOI: <a href="https://doi.org/10.5753/sbes.1992.25181">https://doi.org/10.5753/sbes.1992.25181</a>.