E. D. Ramírez de León, O. Chávez Bosquez, y J. J. Francisco León, «Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification», Revista-IIT, vol. 15, n.º 4, ene. 2015.