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