C. Vidal, F. Aguado, J. L. Doncel, J. M. Molinelli, and G. Perez, “Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator”, JFR, vol. 1, no. 1, pp. 25–37, Jan. 2008.