VIDAL, C.; AGUADO, F.; DONCEL, J. L.; MOLINELLI, J. M.; PEREZ, G. 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: 25 apr. 2024.