J. Machado, L. Penczek, C. Morais, and P. Menezes.
"Autômatos Finitos: um Formalismo para Cursos na Web", in <em>Anais do XIII Simpósio Brasileiro de Engenharia de Software</em>, Florianópolis/SC, 1999, pp. 188-198, doi: <a href="https://doi.org/10.5753/sbes.1999.23923">https://doi.org/10.5753/sbes.1999.23923</a>.