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