Functional programming using caml light - Mauny, Michel. ([s.n.], 1995)