@InCollection{Remy!appsem,
  author =       "Didier R{\'{e}}my",
  title =        "{U}sing, {U}nderstanding, and {U}nraveling
                  the {OC}aml {L}anguage",
  booktitle =    "{A}pplied {S}emantics. Advanced Lectures. LNCS 2395.",
  publisher =    "Springer Verlag",
  year =         "2002",
  editor =    "Gilles Barthe",
  pages =     "413--537",
  isbn = {3-540-44044-5},
pdf        = {http://pauillac.inria.fr/~remy/cours/appsem/ocaml.pdf},
html        = {http://pauillac.inria.fr/~remy/cours/appsem/}
}