@article{ÁlvarezJarreta:6492,
      author        = "Álvarez Jarreta, Jorge and Mayordomo Cámara, Elvira and
                       Miguel Casado, Gregorio de",
      title         = "{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}",
      year          = "2011",
}