TY  - GEN
AU  - Aguirre,Jorge Alberto
TI  - Un método de diseño de autómatas, guiado por invariantes
ER  -