Ramírez de León, E. D., 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». Ingeniería Investigación Y Tecnología, vol. 15, n.º 4, enero de 2015, https://journals.unam.mx/index.php/ingenieria/article/view/45882.