5.5 Bibliographie
Michel Mauny. `` Spécification CAML d'un sous-ensemble de CAML''
Notes de cours - DEA Informatique Fondamentale - 1989
Guy Cousineau et Michel Mauny. ``Approche fonctionnelle de la programmation'' - EdiScience - 1995
