Júlio Machado, Leonardo Penczek, Carlos Morais, and Paulo Menezes. 1999.
 Autômatos Finitos: um Formalismo para Cursos na Web. In <em>Anais do XIII Simpósio Brasileiro de Engenharia de Software</em>, outubro 13, 1999, Florianópolis/SC, Brasil. SBC, Porto Alegre, Brasil, 188-198. DOI: <a href="https://doi.org/10.5753/sbes.1999.23923">https://doi.org/10.5753/sbes.1999.23923</a>.