A Formal Method for Parallel Genetic Algorithms 1 | Publicación