J. Álvarez-Jarreta, G. de Miguel, y 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.