Aguirre, J., & Arroyo, M. (2000). Un método de diseño de autómatas, guiado por invariantes. Web
Citación estilo ChicagoAguirre, Jorge, and Marcelo Arroyo. Un Método De Diseño De Autómatas, Guiado Por Invariantes. 2000.
Cita MLAAguirre, Jorge, and Marcelo Arroyo. Un Método De Diseño De Autómatas, Guiado Por Invariantes. 2000.
Precaución: Estas citas no son 100% exactas.