The OCaml System: Documentation and User's Manual
Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy & Jérôme Vouillon