Garrigue, Didier Rémy, and Jérôme Vouillon. The Objective Caml System, release 3.08. http://caml.inria.fr/ distrib/ocaml-3.08/ocaml-3.08-refman.pdf (2004)

by Xavier Leroy, Damien Doligez, Jacques