Claudio Cesar Sá and Guilherme Bittencourt. 2004. Uma Proposta para Disciplina de Teoria da Computação. In Anais do XII Workshop sobre Educação em Computação, julho 31, 2004, Salvador/BA, Brasil. SBC, Porto Alegre, Brasil, 316-326.