Vidal, Concepción, Felicidad Aguado, José Luis Doncel, Jose María Molinelli, and Gilberto Perez. “Genetic Algorithms in Coq: Generalization and Formalization of the Crossover Operator”. Journal of Formalized Reasoning 1, no. 1 (January 1, 2008): 25–37. Accessed April 27, 2024. https://jfr.unibo.it/article/view/1052.