J. Machado, L. Penczek, C. Morais, and P. Menezes.
" Autômatos Finitos: um Formalismo para Cursos na Web", in <em>Proceedings of the 13th Brazilian Symposium on Software Engineering</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>.