Machado, Júlio, Leonardo Penczek, Carlos Tadeu Q. Morais, and Paulo B. Menezes.
"Autômatos Finitos: um Formalismo para Cursos na Web." <em>Anais do XIII Simpósio Brasileiro de Engenharia de Software,
Florianópolis/SC, 1999</em>. SBC, 1999,  
pp.188-198.