@misc{misc4b29b978,
title   = {Determinação de um conjunto essencial de operadores de mutação para máquinas de estados finitos},
author = {Carvalho, Renata A. de and Fabbri, Sandra Camargo Pinto Ferraz and Maldonado, José Carlos and Nassif, Pedro de Noronha},
year = {1999},
publisher = {ICMC-USP}
}