The CAML primer (1990)

by G Cousineau, G Huet