There are many good books about programming, about functional programming and about Caml. Among them we mainly use :