Diseño e implementación de un lenguaje para modelar autómatas determinísticos finitos (2007)
il