@MANUAL{cvs,
   TITLE="CVS Reference Manual",
   ADDRESS="http://www.cvshome.org/docs/manual/cvs.html"
}
@MANUAL{ocaml,
    TITLE="OCaml documentation and user's manual",
    ADDRESS="http://caml.inria.fr/"
}
