Certified Genetic Algorithms: Crossover Operators for Permutations. - Felicidad Aguado; José Luis Doncel; José María Molinelli; Gilberto Pérez 001; Concepción Vidal; Ana María Vieites (EUROCAST, 2007)

Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator. - Concepción Vidal; Felicidad Aguado; José Luis Doncel; José María Molinelli; Gilberto Pérez 001 (J. Formaliz. Reason., 2008)