VIDAL, Concepción; AGUADO, Felicidad; DONCEL, José Luis; MOLINELLI, Jose María; PEREZ, Gilberto. Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator. Journal of Formalized Reasoning, [S. l.], v. 1, n. 1, p. 25–37, 2008. DOI: 10.6092/issn.1972-5787/1052. Disponível em: https://jfr.unibo.it/article/view/1052. Acesso em: 11 mar. 2025.