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