Getting more from Moore
Abordagens Metodológicas para Ensino de Teoria da Computacão, Linguagens Formais e Automatos