Vidal, C., Aguado, F., Doncel, J. L., Molinelli, J. M., & Perez, G. (2008). Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator. Journal of Formalized Reasoning, 1(1), 25–37. https://doi.org/10.6092/issn.1972-5787/1052