@misc{misc7360a5c2,
title   = {DECMEF: um sistema de decomposição aplicado à síntese de máquinas de estados finitos},
author = {Llanos Quintero, Carlos Humberto and Strum, Marius},
year = {1998},
publisher = {EPUSP}
}