Ramírez de León, E.D., Chávez Bosquez, O. y Francisco León, J.J. 2015. Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification. Ingeniería Investigación y Tecnología. 15, 4 (ene. 2015).