Voir la notice de l'article provenant de la source Numdam
@article{PDML_1985___2B_45_0, author = {Cayrol, Michel}, title = {Ensembles infinis en programmation}, journal = {Publications du D\'epartement de math\'ematiques (Lyon)}, pages = {45--56}, publisher = {Universit\'e Claude Bernard - Lyon 1}, number = {2B}, year = {1985}, zbl = {0622.68036}, language = {fr}, url = {http://geodesic.mathdoc.fr/item/PDML_1985___2B_45_0/} }
Cayrol, Michel. Ensembles infinis en programmation. Publications du Département de mathématiques (Lyon), Compte rendu des journées infinitistes, no. 2B (1985), pp. 45-56. http://geodesic.mathdoc.fr/item/PDML_1985___2B_45_0/