Didier Rémy.
Using, understanding, and unraveling the OCaml language.
In G. Barthe, P. Dybjer, L. Pinto, and J. Saraiva, editors,Applied
Semantics, number 2395 in Lecture Notes in Computer Science, pages
413–536. Springer, 2002.
INF: 681.32.06(063) I61as.