OCaml Programming: Correct + Efficient + Beautiful

Michael R. Clarkson , Robert L. Constable , Nate Foster