C. Sá and G. Bittencourt.
" Uma Proposta para Disciplina de Teoria da Computação", in <em>Anais do XII Workshop sobre Educação em Computação</em>, Salvador/BA, 2004, pp. 316-326.