@book{CLM4,
title = {Exercices de programmation fonctionnelle en Ocaml une approche p\'edagogique par l'algorithmique, la preuve et la complexit\'e },
author = {Carrier, Fabienne and Lafourcade, Pascal and Mounier, Laurent},
year = {2014},
publisher = {Ellipses},
team = {SYNC, DCS, PACSS, axe_Pacs},
}
