J. Álvarez-Jarreta, G. de Miguel, and E. Mayordomo, “Análisis filogenético molecular: Diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia”, Jorn. jovenes investig. I3A, p. 52, May 2012, doi: 10.26754/jji-i3a.201201890.