Machado, Júlio, 		Penczek, Leonardo, 		Morais, Carlos, E 		Menezes, Paulo.
" Autômatos Finitos: um Formalismo para Cursos na Web" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (13 outubro 1999)