Fundamentos da Teoria da Computação
Segundo semestre/1996