Álvarez-Jarreta, J.; de Miguel, G.; Mayordomo, E. 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 2012, 52.