Revisão de modelos formais de sistemas de estados finitos
Sousa, Thiago Carvalho De
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-03-26
Acesso online. A biblioteca também possui exemplares impressos.